A small bound on the number of sessions for security protocols.

Véronique Cortier Antoine Dallon Stéphanie Delaune

Published in: CSF (2022)

Keyphrases

small number
security protocols
upper bound
digital libraries
computer networks
automated design