What Happened to Formal Methods for Security?
Kim SchafferJeffrey M. VoasPublished in: Computer (2016)
Keyphrases
- formal methods
- security properties
- formal analysis
- knowledge based systems
- formal specification
- model checking
- development lifecycle
- process algebra
- model checker
- security policies
- security requirements
- artificial intelligence
- network security
- safety critical
- security issues
- provably correct
- software engineering
- protocol specification
- access control
- security mechanisms
- information security
- reactive systems
- expert systems
- formal model
- petri net
- intrusion detection