Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol.
Felipe BoeiraMikael AsplundPublished in: CSF (2022)
Keyphrases
- partial order
- key agreement
- session key
- secret key
- partially ordered
- total order
- public key
- cryptographic protocols
- key establishment
- security protocols
- security properties
- diffie hellman
- key exchange protocol
- key agreement protocol
- authentication protocol
- data dissemination
- elliptic curve
- private key
- security analysis
- security model
- key distribution
- secure communication
- totally ordered
- security requirements
- rfid systems
- lattice structure
- intrusion detection
- set theory
- security policies
- network security
- information security
- smart card
- messages exchanged
- wireless sensor networks
- virtual private network
- key management
- vehicular ad hoc networks
- mutual authentication
- security mechanisms
- preference relations
- traffic flow
- hash functions
- causal links
- sequential patterns
- sensor networks