Puff, The Magic Protocol.

Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)

Keyphrases

lightweight
formal analysis
authentication protocol
cryptographic protocols
communication protocols
network protocols
real time
neural network
information retrieval
web services
cooperative
sensor networks
multi party
tcp ip