Verification of the ISO ROSE protocol specified in Estelle.
Ajin JirachiefpattanaRichard LaiPublished in: PSTV (1994)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal verification
- model checking
- lightweight
- coloured petri nets
- colored petri nets
- communication protocols
- formal specification
- verification method
- network simulator
- network protocols
- security model
- signature verification
- formal proof
- security analysis
- file transfer
- application layer
- high security
- database systems
- standard model
- face verification
- mobile ad hoc networks
- face recognition