Beyond 2014: Formal Methods for Attack Tree-based Security Modeling.
Wojciech WidelMaxime AudinotBarbara FilaSophie PinchinatPublished in: ACM Comput. Surv. (2019)
Keyphrases
- formal methods
- security properties
- modeling language
- security vulnerabilities
- knowledge based systems
- cyber attacks
- formal specification
- information security
- safety critical
- machine learning
- formal analysis
- protocol specification
- reactive systems
- security measures
- security issues
- authentication protocol
- process algebra
- model checking
- software engineering
- information systems
- security requirements
- network security
- access control
- open source
- denial of service attacks
- expert systems
- web services
- artificial intelligence