Protocol choice and iteration for the free cornering.

Chad Nester Niels F. W. Voorneveld

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

network protocols
genetic algorithm
lightweight
cryptographic protocols
machine learning
formal analysis
security protocols
elliptic curve
databases
objective function
cooperative
combinatorial auctions
iterative process
communication protocol
denial of service attacks
coloured petri nets