Protocol Machines: A Concise Formal Model and its Automatic Implementation.

Mohamed G. Gouda Eric G. Manning

Published in: ICCC (1976)

Keyphrases

formal model
security properties
formal models
semi automatic
lightweight
fully automatic
efficient implementation
security patterns
sensor networks
predicate calculus