A modal deconstruction of access control logics (2008)

by Deepak Garg, Martín Abadi
Venue:In Proc. FoSSaCS