Verification for commitment-based web service protocols.
Zhi FangLejian LiaoRuoyu ChenPublished in: Int. J. Wirel. Mob. Comput. (2014)
Keyphrases
- web services
- cryptographic protocols
- model checking
- colored petri nets
- service providers
- face verification
- verification method
- functional verification
- formal verification
- signature verification
- loosely coupled
- protocol specification
- service architecture
- asynchronous circuits
- service description
- real time
- description language
- security protocols
- multi party
- service discovery
- communication protocols
- service oriented
- temporal logic
- petri net
- business process
- composition of web services
- database systems
- information systems