Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- private information retrieval
- model checker
- model checking
- colored petri nets
- lightweight
- formal proof
- communication protocols
- formal verification
- authentication protocol
- coloured petri nets
- formal methods
- knowledge transfer
- transfer learning
- communication protocol
- standard model
- face verification
- network simulator
- network protocols
- learning algorithm
- security protocols
- tcp ip
- security analysis
- formal specification
- distributed systems
- semi supervised