The timely token protocol.

Jorge Arturo Cobb Miaohua Lin

Published in: Comput. Commun. (2004)

Keyphrases

security protocols
formal analysis
neural network
information retrieval
cryptographic protocols
authentication protocol
coloured petri nets
network protocols
lightweight
decision making
databases
end to end
wireless networks
security analysis
situational awareness
tcp ip
learning algorithm
network simulator
database