Safe and Secure: Mutually Supporting Safety and Security Analyses with Model-Based Suggestions.
Bastian KruckPeter MunkDaniel AngermeierPublished in: ISSRE Workshops (2021)
Keyphrases
- security requirements
- security issues
- security measures
- security level
- key management
- security mechanisms
- data encryption
- security management
- security properties
- security analysis
- information security
- security protocols
- data security
- stream cipher
- security model
- security services
- electronic voting
- security patterns
- access control
- security architecture
- key exchange
- key agreement protocol
- cryptographic protocols
- integrity verification
- mobile agent system
- key exchange protocol
- user authentication
- sensitive data
- encryption scheme
- authentication mechanism
- trusted computing
- public key encryption
- high security
- private key
- security policies
- intrusion detection
- key establishment
- digital signature scheme
- identity management
- authentication protocol
- diffie hellman
- secure routing
- countermeasures
- public key cryptosystem
- key agreement
- authentication scheme
- key management scheme
- smart card
- information leakage
- public key
- secure communication
- digital rights management
- mutual authentication
- secret key
- covert channel
- secure multiparty computation
- previously mentioned
- chosen plaintext
- password based authenticated key exchange
- network security
- data integrity
- rfid systems
- provably secure