Login / Signup
Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems.
Mahjoub Langar
Mohamed Mejri
Kamel Adi
Published in:
Security and Management (2010)
Keyphrases
</>
policy enforcement
security management
access control
concurrent systems
security policies
enterprise network
fine grained
object oriented
formal specification