A protocol to preserve a code of conduct.

Cristiano Longo Paolo Giarrusso

Published in: SAC (2007)

Keyphrases

source code
lightweight
coloured petri nets
tcp ip
cryptographic protocols
provably secure
network protocols
databases
high level
security analysis
elliptic curve
error correcting