Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol.
Felipe BoeiraMikael AsplundPublished in: CoRR (2021)
Keyphrases
- partial order
- key agreement
- session key
- partially ordered
- secret key
- authentication protocol
- key establishment
- cryptographic protocols
- key agreement protocol
- total order
- security protocols
- security properties
- diffie hellman
- data dissemination
- public key
- key distribution
- rfid systems
- key exchange protocol
- private key
- lattice structure
- security model
- security analysis
- elliptic curve
- network security
- set theory
- mutual authentication
- secure communication
- information security
- provably secure
- sensor networks
- mobile payment
- security requirements
- maximum weight
- hash functions
- dominance relation
- security mechanisms
- vehicular ad hoc networks
- sequential patterns
- intrusion detection
- key management
- smart card
- access control
- wireless sensor networks
- security policies