Formal Safety and Security Assessment of an Avionic Architecture with Alloy.
Julien BrunelLaurent RiouxStéphane PaulAnthony FaucogneyFrédérique ValléePublished in: ESSS (2014)
Keyphrases
- formal model
- security issues
- management system
- information security
- access control
- digital rights management
- application level
- software architecture
- risk assessment
- formal methods
- security protocols
- security architecture
- distributed multimedia
- network services
- communication protocols
- enterprise systems
- security mechanisms
- security requirements