Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
Dominique BolignanoDaniel Le MétayerClaire LoiseauxPublished in: MOVEP (2000)
Keyphrases
- formal methods
- security properties
- missing links
- model checking
- formal analysis
- safety critical
- information security
- knowledge based systems
- artificial intelligence
- software engineering
- protocol specification
- development lifecycle
- intrusion detection
- formal specification language
- link prediction
- access control
- formal specification
- security requirements
- modeling language
- security policies
- security analysis
- supervised learning
- digital libraries
- case study
- learning algorithm