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]
@inproceedings{Abadi08:1,
title = {Variations in Access Control Logic},
author = {Martín Abadi},
year = {2008},
doi = {10.1007/978-3-540-70525-3_9},
url = {http://dx.doi.org/10.1007/978-3-540-70525-3_9},
tags = {logic, access control},
researchr = {https://researchr.org/publication/Abadi08%3A1},
cites = {0},
citedby = {0},
pages = {96-109},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
editor = {Ron van der Meyden and Leendert van der Torre},
volume = {5076},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70524-6},
}