-Approval Protocol.

Published in: MFCS (2010)

Keyphrases

lightweight
formal analysis
cryptographic protocols
data sets
information retrieval
tcp ip
network protocols
real time
knowledge base
database systems
security protocols
key agreement protocol
protocol specification