An adaptive three-party accounting protocol.

Gregory Detal Damien Leroy Olivier Bonaventure

Published in: StudentWorkshop@CoNEXT (2009)

Keyphrases

lightweight
coloured petri nets
network protocols
security analysis
application layer
cryptographic protocols
network simulator
metadata
communication protocol
communication protocols
database
intrusion detection
tcp ip
multiple access