Synthesizing Secure Protocols.
Véronique CortierBogdan WarinschiEugen ZalinescuPublished in: ESORICS (2007)
Keyphrases
- cryptographic protocols
- security protocols
- key exchange
- key distribution
- authentication protocol
- key agreement protocol
- secure multiparty computation
- multi party
- key establishment
- security services
- group communication
- privacy preserving
- application level
- security properties
- homomorphic encryption
- key management
- security analysis
- authentication scheme
- diffie hellman
- covert channel
- trusted third party
- identity management
- wireless medium
- scalar product
- mutual authentication
- smart card