Proving Group Protocols Secure Against Eavesdroppers.
Steve KremerAntoine MercierRalf TreinenPublished in: IJCAR (2008)
Keyphrases
- cryptographic protocols
- security protocols
- multi party
- key distribution
- key exchange
- authentication protocol
- key establishment
- lightweight
- application level
- secure multiparty computation
- security properties
- authentication scheme
- group communication
- security issues
- key agreement protocol
- multi agent systems
- data sets