On-time timed-token protocol.

Jorge Arturo Cobb Miaohua Lin

Published in: GLOBECOM (2002)

Keyphrases

colored petri nets
petri net
lightweight
authentication protocol
communication protocol
timed automata
cryptographic protocols
formal analysis
group communication
network protocols
information systems
finite state machines
tcp ip
network simulator
key agreement protocol