Determining a parallel session attack on a key distribution protocol using a model checker.
Vladimir PascaAnca JurcutReiner DojenTom CoffeyPublished in: MoMM (2008)
Keyphrases
- key distribution
- model checker
- secret key
- authentication protocol
- model checking
- formal verification
- description language
- formal methods
- key management
- temporal logic
- smart card
- group communication
- fault tolerant
- set theory
- formal specification
- security protocols
- test suite
- lightweight
- ai planning
- public key
- key exchange
- key agreement protocol
- security analysis
- ciphertext
- diffie hellman
- secure communication
- key management scheme
- elliptic curve
- signature scheme
- key agreement
- specification language
- signcryption scheme