Formal enforcement of security policies on concurrent systems.
Mahjoub LangarMohamed MejriKamel AdiPublished in: J. Symb. Comput. (2011)
Keyphrases
- security policies
- concurrent systems
- distributed systems
- access control
- formal specification
- xml access control
- access control policies
- mandatory access control
- process algebra
- security management
- model checking
- security requirements
- temporal logic
- security concerns
- access control systems
- transition systems
- formal methods
- fine grained
- network security
- distributed environment
- multilevel secure
- operating system
- software architecture
- object oriented