A Survey of Practical Formal Methods for Security.
Tomas KulikBrijesh DongolPeter Gorm LarsenHugo Daniel MacedoSteve SchneiderPeter Würtz Vinther Tran-JørgensenJim WoodcockPublished in: CoRR (2021)
Keyphrases
- formal methods
- security properties
- formal analysis
- knowledge based systems
- artificial intelligence
- model checking
- model checker
- access control
- provably correct
- development lifecycle
- safety critical
- software engineering
- network security
- formal specification
- security issues
- information security
- security policies
- process algebra
- protocol specification
- formal specification language
- security requirements
- modeling language
- information systems
- cryptographic protocols
- security protocols
- security mechanisms
- reactive systems
- fine grained
- case study
- database