A formal and sound transformation from Focal to UML : an application to airport security regulations.
David DelahayeJean-Frédéric ÉtienneVéronique Donzeau-GougePublished in: Innov. Syst. Softw. Eng. (2008)
Keyphrases
- formal methods
- information security
- database design
- image scrambling
- security policies
- intrusion detection
- requirements specification
- object oriented
- network security
- modeling language
- statistical databases
- security requirements
- uml models
- object oriented modeling
- state machine
- sequence diagrams
- metamodel
- software systems
- access control
- software engineering
- formal analysis
- security mechanisms
- specification language
- security level
- case study
- image encryption
- formal specification
- class diagrams
- uml activity diagrams