Combining Logics for Modelling Security Policies.

Chuchang Liu Patrick McLean Maris A. Ozols

Published in: ACSC (2005)

Keyphrases

security policies
access control
distributed systems
security management
network security
expressive power
security concerns
access control systems
security requirements
access control policies
cyber attacks
multilevel secure
unauthorized access
home network
modal logic
fine grained
machine learning
real world