Cross-Tool Semantics for Protocol Security Goals.
Joshua D. GuttmanJohn D. RamsdellPaul D. RowePublished in: SSR (2016)
Keyphrases
- cryptographic protocols
- formal analysis
- security protocols
- rfid systems
- ban logic
- key agreement
- key agreement protocol
- denial of service attacks
- authentication protocol
- security properties
- key exchange protocol
- communication protocols
- security model
- security analysis
- conceptual model
- security problems
- network security
- intrusion detection
- key distribution
- provably secure
- formal semantics
- secure multiparty computation
- virtual private network
- semantic information