Appia vs. Cactus: Comparing Protocol Composition Frameworks.

Sergio Mena Xavier Cuvellier Christophe Grégoire André Schiper

Published in: SRDS (2003)

Keyphrases

lightweight
neural network
coloured petri nets
tcp ip
network protocols
databases
metadata
low cost
evaluation methods
security analysis
security protocols
communication protocol
cryptographic protocols
wide area network