Performance of the EY-NPMA Protocol.

K. Fu Y. Jay Guo Stephen K. Barton

Published in: Wirel. Pers. Commun. (1997)

Keyphrases

lightweight
coloured petri nets
authentication protocol
communication protocol
cryptographic protocols
formal analysis
security protocols
multi agent
tcp ip
concurrency control protocols
ip address
multiple access