Protocol Codesign (Discussion).

Victoria Stavridou

Published in: Security Protocols Workshop (2003)

Keyphrases

lightweight
cryptographic protocols
communication protocols
formal analysis
cooperative
coloured petri nets
data sets
database systems
low cost
multi party
authentication protocol
application layer
tcp ip
network protocols