Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal verification
- model checking
- coloured petri nets
- formal proof
- colored petri nets
- network protocols
- lightweight
- face verification
- formal methods
- application layer
- fingerprint verification
- verification method
- signature verification
- temporal logic
- communication protocols
- provably secure
- neural network
- petri net
- low cost