Protocol Choice and Iteration for the Free Cornering.

Chad Nester Niels F. W. Voorneveld

Published in: CoRR (2023)

Keyphrases

lightweight
network protocols
formal analysis
cryptographic protocols
learning algorithm
objective function
communication protocols
coloured petri nets
data sets
distributed systems
multi party
iterative process