Verification of the ISO ACSE protocol using Deductive Machine.
Richard LaiXiaobo LiPublished in: J. Syst. Softw. (1997)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- formal proof
- object oriented
- formal verification
- authentication protocol
- tcp ip
- coloured petri nets
- network protocols
- high security
- communication protocols
- special case
- communication protocol
- flowshop
- electronic commerce
- hypothesis formation
- abductive inference
- data sets