Stateful Protocol Composition and Typing.

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

Published in: Arch. Formal Proofs (2020)

Keyphrases

lightweight
neural network
authentication protocol
cryptographic protocols
web service composition
coloured petri nets
application layer
network simulator
composite web services
learning algorithm
mobile devices
formal analysis
tcp ip
rfid systems
web services composition