Cryptanalysis and Protocol Failures (abstract).

Gustavus J. Simmons

Published in: CCS (1993)

Keyphrases

state machines
lightweight
failure recovery
commit protocols
higher level
coloured petri nets
network protocols
failure detection
security protocols
communication protocol
root cause
petri net
failure rate
application layer
tcp ip
secret key
link failure
multi party
hash functions
distributed databases
high level