A protocol for timed atomic commitment.

Susan B. Davidson Insup Lee Victor Fay Wolfe

Published in: ICDCS (1989)

Keyphrases

colored petri nets
petri net
lightweight
network protocols
security protocols
provably secure
database
case study
formal analysis
security analysis
cryptographic protocols
file transfer
real time
web services
application layer