Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal verification
- coloured petri nets
- formal proof
- atm networks
- lightweight
- formal methods
- tcp ip
- authentication protocol
- network protocols
- colored petri nets
- temporal logic
- cooperative
- signature verification
- case study
- high security
- real time
- voting protocols
- file transfer
- data sets
- neural network
- web services
- verification method
- network simulator
- electronic commerce
- multi party
- security protocols
- database