Symbolic protocol verification with dice.
Vincent ChevalRaphaëlle CrubilléSteve KremerPublished in: J. Comput. Secur. (2023)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- coloured petri nets
- formal verification
- model checking
- lightweight
- formal proof
- symbolic representation
- communication protocol
- symbolic description
- formal specification
- face verification
- formal methods
- security protocols
- connectionist models
- colored petri nets
- network protocols
- connectionist learning
- security model
- key agreement protocol
- neural learning
- real time
- digital libraries
- multi agent systems
- high level