+ 1 Protocol.

Swan Dubois Toshimitsu Masuzawa Sébastien Tixeuil

Published in: SSS (2010)

Keyphrases

lightweight
network protocols
communication protocol
decision trees
file transfer
security protocols
authentication protocol
coloured petri nets
database
wide area network
cryptographic protocols
application layer
formal analysis
multi party
end to end
peer to peer
databases