A Modal Deconstruction of Access Control Logics.

Deepak Garg, Martn Abadi

Browse the full FOSSACS paper archive.