Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee.

Jerzy Brzezinski Anna Kobusinska Jacek Kobusinski

Published in: ISCIS (2006)

Keyphrases

failure recovery
lightweight
coloured petri nets
recovery algorithm
normal operation
real time
cryptographic protocols
formal analysis
application layer
image recovery
link failure
network protocols
session initiation protocol
file transfer