Generating formal specifications for security-critical applications - A model-driven approach.
Nina MoebiusKurt StenzelWolfgang ReifPublished in: SESS@ICSE (2009)
Keyphrases
- formal specification
- protocol specification
- object oriented design
- specification languages
- model checking
- specification language
- access control
- process algebra
- concurrent systems
- formal methods
- information security
- security policies
- reverse engineering
- intrusion detection
- security issues
- design methodology
- security requirements
- temporal logic
- databases
- metamodel
- communication networks
- fine grained
- knowledge representation
- database systems