A fair certification protocol.

Chris J. Mitchell Konstantinos Rantos

Published in: Comput. Commun. Rev. (1999)

Keyphrases

lightweight
security protocols
neural network
third party
cryptographic protocols
network protocols
formal analysis
communication protocol
case study
mobile devices
authentication protocol
protocol specification
coloured petri nets