Parsing Protocol Standards to Parse Standard Protocols.
Stephen McQuistinVivian BandDejice JacobColin PerkinsPublished in: ANRW (2020)
Keyphrases
- cryptographic protocols
- iso iec
- communication protocols
- widely accepted
- security protocols
- communication protocol
- network protocols
- parse tree
- lightweight
- authentication protocol
- international standard
- key distribution
- locking protocol
- voting protocols
- context free grammars
- key exchange
- web services
- medium access control
- protocol specification
- fair exchange protocols