Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.
Cas CremersCharlie JacommeAurora NaskaPublished in: USENIX Security Symposium (2023)
Keyphrases
- formal analysis
- ban logic
- authentication protocol
- payment protocol
- security issues
- security requirements
- security properties
- formal methods
- security measures
- security level
- key management
- security mechanisms
- cryptographic protocols
- multi party
- security protocols
- security analysis
- security services
- stream cipher
- security management
- key agreement protocol
- data encryption
- access control
- fault tolerant
- search sessions
- integrity verification
- information security
- provably secure
- diffie hellman
- trusted computing
- authentication mechanism
- sensitive data
- resource constrained
- user sessions
- security model
- data security
- machine learning
- cloud computing
- key exchange protocol
- lightweight
- ad hoc networks
- secure communication
- rfid tags
- public key
- private key
- encryption scheme