Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Affine Refinement Types for Authentication and Authorization. In Catuscia Palamidessi, Mark Dermot Ryan, editors, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. Volume 8191 of Lecture Notes in Computer Science, pages 19-33, Springer, 2012. [doi]
Abstract is missing.