The RBVO Formation Protocol.

Jirí Vokrínek Jirí Bíba Jirí Hodík Jaromír Vybíhal

Published in: Int. J. Agent Oriented Softw. Eng. (2009)

Keyphrases

lightweight
formal analysis
cryptographic protocols
network protocols
communication protocol
coloured petri nets
databases
information retrieval
security protocols
neural network
low cost
tcp ip
communication protocols
mobile payment
protocol specification