A Modal Deconstruction of Access Control Logics

by Deepak Garg , Martín Abadi
Citations:19 - 6 self