SSI, from Specifications to Protocol? Formally Verify Security!
Christoph H.-J. BraunRoss HorneTobias KäferSjouke MauwPublished in: WWW (2024)
Keyphrases
- protocol specification
- cryptographic protocols
- security protocols
- key agreement protocol
- authentication protocol
- functional requirements
- security properties
- security analysis
- communication protocols
- security model
- key exchange protocol
- ban logic
- security requirements
- formal analysis
- denial of service attacks
- information security
- provably secure
- intrusion detection
- rfid systems
- mutual authentication
- electronic voting
- formal specification
- mobile payment
- cryptographic algorithms
- homomorphic encryption
- network security
- key agreement
- key distribution
- secure routing
- privacy preserving
- diffie hellman
- model checker
- state machines
- messages exchanged
- group communication
- security issues
- security mechanisms
- secure multiparty computation
- security policies
- network management
- key establishment
- rfid tags
- mobile agent system
- semi honest
- access control
- physical layer
- security services
- signature scheme
- virtual private network
- model checking
- anomaly detection
- computer networks
- key management
- elliptic curve
- trusted third party
- communication protocol
- secure communication