Proper Protocol.

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

lightweight
cryptographic protocols
communication protocols
databases
data mining
information retrieval
information systems
decision trees
database systems
transaction model
tcp ip
group communication