Robustness Modelling and Verification of a Mix Net Protocol.
Efstathios StathakidisSteve A. SchneiderJames HeatherPublished in: SSR (2014)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- formal verification
- model checking
- formal proof
- high robustness
- coloured petri nets
- formal methods
- colored petri nets
- temporal logic
- lightweight
- formal specification
- neural network
- asynchronous circuits
- network protocols
- security protocols
- communication protocols
- tcp ip
- face verification
- computational efficiency
- mobile devices
- case study
- information systems