Stateful Protocol Composition.

Andreas V. Hess Sebastian Alexander Mödersheim Achim D. Brucker

Published in: ESORICS (1) (2018)

Keyphrases

lightweight
network protocols
formal analysis
coloured petri nets
database
databases
web service composition
communication protocol
tcp ip
composite web services
data sets
cooperative
security protocols
rfid systems
web services composition
network simulator