Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.
Dmitri ChkliaevPeter van der StokJozef HoomanPublished in: ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- formal proof
- colored petri nets
- security analysis
- communication protocols
- high security
- formal verification
- asynchronous circuits
- network protocols
- authentication protocol
- real time
- record linkage
- temporal logic
- signature verification
- network devices
- security protocols
- formal methods
- digital libraries
- case study
- learning algorithm
- neural network