Practical Considerations in Protocol Verification: The E-2C Case Study.
Yifei DongScott A. SmolkaEugene W. StarkStephanie M. WhitePublished in: ICECCS (1999)
Keyphrases
- case study
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal verification
- model checking
- formal proof
- coloured petri nets
- lightweight
- development process
- network protocols
- lessons learned
- asynchronous circuits
- communication protocols
- colored petri nets
- authentication protocol
- formal methods
- software development
- communication protocol
- data sets
- signature verification
- face verification
- temporal logic
- business process
- functional verification
- practical guidelines
- file transfer
- real world