An Estelle interpreter for incremental protocol verification.
Chung-Ming HuangJenq-Muh HsuHuei-Yang LaiJao-Chiang PongDuen-Tay HuangPublished in: ICNP (1993)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- incremental learning
- formal proof
- coloured petri nets
- programming language
- formal verification
- authentication protocol
- security protocols
- incremental version
- communication protocol
- formal methods
- formal specification
- production system
- real time
- face verification
- temporal logic
- high security
- verification method
- colored petri nets
- software engineering
- signature verification
- incremental clustering
- object oriented
- database systems
- learning algorithm