Vertical Protocol Composition.

Thomas Groß Sebastian Mödersheim

Published in: CSF (2011)

Keyphrases

lightweight
tcp ip
communication protocol
database
formal analysis
cryptographic protocols
machine learning
web service composition
security protocols
ip address
key exchange protocol