Variations in Access Control Logic

Martín Abadi. Variations in Access Control Logic. In Ron van der Meyden, Leendert van der Torre, editors, Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings. Volume 5076 of Lecture Notes in Computer Science, pages 96-109, Springer, 2008. [doi]

Abstract

Abstract is missing.