-protocol.

Chunming Tang Zheng-an Yao

Published in: J. Syst. Sci. Complex. (2009)

Keyphrases

lightweight
formal analysis
network protocols
multi party
tcp ip
cryptographic protocols
group communication
coloured petri nets
neural network
response time
authentication protocol
network simulator
provably secure
key exchange protocol