Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.
David DelahayeJean-Frédéric ÉtienneVéronique Donzeau-GougePublished in: TASE (2008)
Keyphrases
- uml models
- written in natural language
- functional requirements
- object oriented
- security requirements
- access control
- test cases
- information security
- network security
- intrusion detection
- sequence diagrams
- artificial intelligence
- security issues
- high level
- development process
- formal specification
- security policies
- fine grained
- relational databases
- information systems