Formal Analysis of Secure Device Pairing Protocols.
Trung NguyenJean LeneutrePublished in: NCA (2014)
Keyphrases
- formal analysis
- payment protocol
- cryptographic protocols
- security protocols
- key exchange
- ban logic
- key distribution
- authentication protocol
- formal methods
- key agreement protocol
- agent model
- security properties
- multi party
- remote server
- application level
- security services
- trusted third party
- security analysis
- standard model
- development process
- sensitive data
- secure multiparty computation