Formal Analysis of Combinations of Secure Protocols.
Elliott BlotJannik DreierPascal LafourcadePublished in: FPS (2017)
Keyphrases
- formal analysis
- payment protocol
- cryptographic protocols
- security protocols
- key distribution
- authentication protocol
- key exchange
- ban logic
- multi party
- agent model
- group communication
- key establishment
- formal methods
- key agreement protocol
- security services
- secure multiparty computation
- privacy preserving
- security properties
- key management
- security requirements
- application level
- diffie hellman
- smart card
- quality of service
- software systems
- lightweight