Formal Verification and Visualization of Security Policies.
Luay A. WahshehDaniel Conte de LeonJim Alves-FossPublished in: J. Comput. (2008)
Keyphrases
- formal verification
- security policies
- model checking
- access control
- network security
- security management
- distributed systems
- model checker
- automated verification
- symbolic model checking
- security concerns
- bounded model checking
- data analysis
- program slicing
- security requirements
- access control systems
- home network
- access control policies
- fine grained
- multilevel secure
- information systems
- temporal logic
- web services