19 citations
1 paper
Christoph Benzmueller
Garg and Abadi recently proved that prominent access control logics can be translated in a sound and complete way into modal logic S4. We have previously outlined how normal multim…