An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.
Iliano CervesatoCatherine A. MeadowsDusko PavlovicPublished in: CSFW (2005)
Keyphrases
- key distribution
- key management
- fault tolerant
- authentication protocol
- group communication
- secret key
- elliptic curve
- private key
- signature scheme
- key exchange
- modal operators
- security protocols
- wireless ad hoc networks
- key agreement protocol
- fault tolerance
- smart card
- security services
- key management scheme
- public key
- ad hoc networks