Formal Verification of the FDO Protocol.

Simone Bussa Riccardo Sisto Fulvio Valenza

Published in: CSCN (2023)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
automated verification
bounded model checking
symbolic model checking
lightweight
reinforcement learning
rough sets
formal methods
security protocols
functional verification