Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling.
Florian KammüllerManfred KerberPublished in: IEEE Symposium on Security and Privacy Workshops (2016)
Keyphrases
- information security
- security issues
- security measures
- security breaches
- computer security
- security services
- security threats
- security vulnerabilities
- security requirements
- denial of service attacks
- cyber security
- intrusion detection
- access control
- insider attacks
- cyber attacks
- security mechanisms
- sensitive data
- malicious attacks
- countermeasures
- insider threat
- security properties
- security management
- security analysis
- identity theft
- cyber crime