Formal Modeling of Airport Security Regulations using the Focal Environment.
David DelahayeJean-Frédéric ÉtienneVéronique Donzeau-GougePublished in: RELAW (2008)
Keyphrases
- mobile robot
- intrusion detection
- information security
- autonomous agents
- formal model
- real time
- security issues
- modeling language
- security administration
- distributed multimedia
- reactive systems
- wireless sensor
- access control
- functional requirements
- virtual world
- information infrastructure
- cloud computing
- requirements specification
- taking care
- information systems