Practical and Scalable Security Verification of Secure Architectures.
Tianwei ZhangJakub JakubRuby B. LeePublished in: HASP@MICRO (2021)
Keyphrases
- integrity verification
- cryptographic protocols
- high security
- security requirements
- security issues
- security level
- security analysis
- security management
- security measures
- key management
- security architecture
- security properties
- security mechanisms
- data encryption
- data security
- information security
- sensitive data
- stream cipher
- authentication mechanism
- java card
- access control
- diffie hellman
- electronic voting
- security model
- key exchange protocol
- key exchange
- intrusion detection
- security services
- security patterns
- key distribution
- security protocols
- encryption scheme
- network security
- smart card
- public key encryption
- authentication protocol
- mobile agent system
- digital signature scheme
- information leakage
- private key
- digital rights management
- rfid systems
- user authentication
- security policies
- model checking
- lightweight
- key agreement protocol
- provably secure
- secret key
- countermeasures
- key agreement
- key establishment
- public key cryptosystem
- protection schemes