A modal deconstruction of access control logics (2008)

by D Garg, M Abadi
Venue:In Software Science and Computation Structures (FoSSaCS 2008