Protocol.

Gerd Beuster Oliver Leistert Theo Röhle

Published in: Internet Policy Rev. (2022)

Keyphrases

lightweight
tcp ip
coloured petri nets
cryptographic protocols
network protocols
data sets
learning algorithm
search engine
cooperative
multi party
formal analysis
security analysis
communication protocol
application layer
multiple access