Industrial Use of Formal Methods for a High-Level Security Evaluation.
Boutheina ChetaliQuang Huy NguyenPublished in: FM (2008)
Keyphrases
- formal methods
- high level
- security properties
- low level
- formal specification
- security issues
- provably correct
- safety critical
- model checking
- knowledge based systems
- formal analysis
- intrusion detection
- artificial intelligence
- model checker
- security policies
- security requirements
- key management
- information security
- reactive systems
- access control
- development lifecycle