Formal verification of security specifications with common criteria.
Shoichi MorimotoShinjiro ShigematsuYuichi GotoJingde ChengPublished in: SAC (2007)
Keyphrases
- formal verification
- model checker
- automated verification
- bounded model checking
- model checking
- cryptographic protocols
- symbolic model checking
- security requirements
- access control
- information security
- functional requirements
- security issues
- statistical databases
- intrusion detection
- security policies
- network security
- artificial intelligence
- evaluation criteria
- graph theory
- program slicing