A Formal Language for Cryptographic Protocol Requirements.

Paul F. Syverson Catherine A. Meadows

Published in: Des. Codes Cryptogr. (1996)

Keyphrases

formal language
cryptographic protocols
formal semantics
natural language interface
representation language
natural language
domain knowledge
prior knowledge
data management
security protocols