Towards Modular Foundations for Protocol Security.
Lúcás Críostóir MeierPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- cryptographic protocols
- security protocols
- authentication protocol
- ban logic
- security properties
- security analysis
- key agreement protocol
- security model
- key exchange protocol
- provably secure
- denial of service attacks
- formal analysis
- mutual authentication
- key distribution
- communication protocols
- rfid systems
- key management
- artificial intelligence
- security services
- electronic voting
- blind signature
- cryptographic algorithms
- access control
- security requirements
- information security
- secure multiparty computation
- protocol specification
- lightweight
- mobile agent system
- statistical databases
- mobile payment
- elliptic curve
- virtual private network
- key agreement
- key exchange
- network layer
- security threats
- public key
- security issues
- physical layer
- messages exchanged
- security mechanisms
- rfid tags
- diffie hellman
- computer networks
- medium access control
- privacy preserving
- cloud computing
- secure routing
- ns simulator
- key establishment
- security policies
- trusted third party