Tapping Alert Protocol.

Gookwhan Ahn Kwangjo Kim Hee Yong Youn

Published in: WETICE (2000)

Keyphrases

lightweight
network protocols
formal analysis
real time
coloured petri nets
cryptographic protocols
web services
security protocols
authentication protocol
communication protocol
tcp ip
provably secure
learning algorithm
group communication
network simulator
key agreement protocol
data sets
database