Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets.
Hejiao HuangHélène KirchnerPublished in: IEEE Trans. Dependable Secur. Comput. (2011)
Keyphrases
- formal specification
- security policies
- colored petri nets
- petri net
- model checking
- access control
- concurrent systems
- security management
- specification language
- object oriented design
- network security
- specification languages
- web services
- model checker
- distributed systems
- network management
- formal methods
- security requirements
- security concerns
- process algebra
- reverse engineering
- temporal logic
- access control policies
- ubiquitous computing environments
- protocol specification
- formal verification
- software components
- unauthorized access
- machine learning
- databases
- grid workflow
- artificial intelligence
- database