A Metabolic Approach to Protocol Resilience.

Christian F. Tschudin Lidia Yamamoto

Published in: WAC (2004)

Keyphrases

lightweight
communication protocol
file transfer
information systems
elliptic curve
cryptographic protocols
formal analysis
security protocols
group communication
network simulator