A Modal Logical Framework for Security Policies.

Frdric Cuppens, Robert Demolombe

Browse the full ISMIS paper archive.