A Formal Approach for Security Policy Enforcement in Concurrent Programs.
Mahjoub LangarMohamed MejriKamel AdiPublished in: Security and Management (2007)
Keyphrases
- policy enforcement
- concurrent programs
- access control
- security management
- enterprise network
- process algebra
- security issues
- security policies
- formal specification
- formal methods
- network security
- concurrent programming
- information security
- intrusion detection
- concurrent processes
- database systems
- database
- formal language
- multi tier
- lightweight
- data model