Protocol Composition for Arbitrary Primitives.

Stefan Ciobaca Véronique Cortier

Published in: CSF (2010)

Keyphrases

lightweight
low level
coloured petri nets
high level
cooperative
formal analysis
communication protocol
user defined
database
authentication protocol
building blocks
tcp ip
cryptographic protocols
web services composition
network protocols
composite web services
website