A Survey of Practical Formal Methods for Security.
Tomas KulikBrijesh DongolPeter Gorm LarsenHugo Daniel MacedoSteve SchneiderPeter W. V. Tran-JørgensenJames WoodcockPublished in: Formal Aspects Comput. (2022)
Keyphrases
- formal methods
- security properties
- formal analysis
- knowledge based systems
- security requirements
- process algebra
- safety critical
- model checker
- model checking
- development lifecycle
- software engineering
- formal specification
- artificial intelligence
- network security
- information security
- security issues
- provably correct
- modeling language
- real world
- security mechanisms
- security analysis
- formal specification language
- protocol specification
- case study
- database systems
- relational databases
- source code
- authentication protocol
- access control
- intrusion detection
- smart card