Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol.
Shingo YamaguchiTomohiro HirakawaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2011)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- model checking
- formal analysis
- special case
- formal verification
- lightweight
- formal proof
- object oriented
- database
- computational complexity
- communication protocol
- coloured petri nets
- approximation algorithms
- face verification
- security protocols
- human behavior
- application layer
- object oriented databases
- communication protocols
- verification method
- network protocols
- complex objects
- file transfer
- face recognition
- formal methods
- authentication protocol
- object model
- electronic commerce