Variations in access control logic (2008)

by Martín Abadi
Venue:in 9th International Conference on Deontic Logic in Computer Science (DEON