Formal methods in security engineering: where we've been, where we are, where we need to go.
John McLeanPublished in: FMSE (2007)
Keyphrases
- formal methods
- security properties
- software engineering
- development lifecycle
- artificial intelligence
- safety critical
- formal analysis
- model checker
- security requirements
- model checking
- information security
- access control
- formal specification
- provably correct
- security mechanisms
- knowledge based systems
- smart card
- security policies
- security issues
- protocol specification
- formal specification language
- network security
- intrusion detection
- security protocols
- key management
- reactive systems
- process algebra
- open source
- expert systems
- computer science