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