A reduced incremental ECFSM-based protocol verification.
Chung-Ming HuangHsin-Yi LaiDuen-Tay HuangPublished in: COMPSAC (1993)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal verification
- incremental learning
- coloured petri nets
- formal methods
- verification method
- lightweight
- formal proof
- standard model
- data driven
- colored petri nets
- network simulator
- asynchronous circuits
- communication protocols
- functional verification
- security protocols
- communication protocol
- real time
- security analysis
- multi party
- significantly reduced
- formal specification
- knowledge acquisition
- case study
- information systems
- neural network