A review on security requirements specification by formal methods.
Aditya Dev MishraKhurram MustafaPublished in: Concurr. Comput. Pract. Exp. (2022)
Keyphrases
- formal methods
- requirements specification
- software engineering
- security properties
- requirements engineering
- specification language
- formal specification
- formal analysis
- model checking
- security requirements
- software requirements
- knowledge based systems
- information security
- network security
- artificial intelligence
- development lifecycle
- safety critical
- security policies
- intrusion detection
- access control
- literature review
- functional requirements
- general purpose
- security analysis
- protocol specification
- software development
- open source
- programming language
- knowledge representation