A Modal Logical Framework for Security Policies.

Frédéric Cuppens Robert Demolombe

Published in: ISMIS (1997)

Keyphrases

logical framework
security policies
access control
inference rules
modal logic
network security
security management
distributed systems
belief revision
security requirements
reasoning tasks
access control systems
access control policies
temporal logic
theorem proving
situation calculus