Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.
Cas CremersCharlie JacommeAurora NaskaPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- formal analysis
- ban logic
- security issues
- authentication protocol
- payment protocol
- security requirements
- key management
- security protocols
- security level
- security measures
- security mechanisms
- security properties
- formal methods
- security analysis
- fault tolerant
- security services
- search sessions
- agent model
- security management
- multi party
- stream cipher
- authentication mechanism
- user sessions
- data encryption
- encryption scheme
- information security
- key exchange protocol
- key agreement protocol
- data security
- user authentication
- key distribution
- access control
- sensitive data
- cryptographic protocols
- diffie hellman
- key exchange
- provably secure
- resource constrained
- network security
- smart card
- privacy preserving
- integrity verification
- lightweight
- cloud computing