Verification of ISO ACSE protocol specified in Estelle.
Richard LaiAjin JirachiefpattanaPublished in: Comput. Commun. (1994)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checking
- model checker
- formal verification
- coloured petri nets
- formal proof
- communication protocols
- security protocols
- tcp ip
- lightweight
- concurrent systems
- formal methods
- face verification
- network protocols
- real time
- database
- smart card
- multi agent systems
- colored petri nets
- multi agent