A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.
Julien BrunelDavid ChemouilLaurent RiouxMohamed BakkaliFrédérique ValléePublished in: MoDeVVa@MoDELS (2014)
Keyphrases
- viewpoint
- information security
- security issues
- risk assessment
- access control
- multiple views
- d objects
- security problems
- formal model
- intrusion detection
- security level
- statistical databases
- security vulnerabilities
- network management
- security policies
- anomaly detection
- formal specification
- security mechanisms
- key management
- computer security
- security properties
- smart card
- security management
- security measures
- information assurance