Bit Commitment Protocol.

Rémi Bricout André Chailloux

Published in: Cryptogr. (2017)

Keyphrases

lightweight
network protocols
cryptographic protocols
coloured petri nets
genetic algorithm
multi agent
formal analysis
authentication protocol
application layer
communication protocols
protocol specification