Specifying a Cryptographical Protocol in Lustre and SCADE.

Published in: MARS@ETAPS (2020)

Keyphrases

lightweight
cryptographic protocols
learning algorithm
website
low cost
security protocols
communication protocol
network protocols
file transfer
voting protocols
coloured petri nets