Formal Model of a Protocol Converter.

Jing Cao Albert Nymeyer

Published in: CATS (2009)

Keyphrases

formal model
security properties
lightweight
control method
formal models
data conversion
security patterns
single phase
communication protocol
high voltage
predicate calculus
formal analysis
cryptographic protocols
low voltage
access control
sensor networks
case based reasoning