An Incremental Protocol Verification Method.
Chung-Ming HuangJenq-Muh HsuPublished in: Comput. J. (1994)
Keyphrases
- verification method
- model checking
- temporal logic
- lightweight
- incremental learning
- data driven
- formal analysis
- network protocols
- multi party
- application layer
- coloured petri nets
- incremental clustering
- cryptographic protocols
- communication protocol
- tcp ip
- authentication protocol
- ip address
- network simulator
- security analysis
- single pass
- privacy preserving
- knowledge base