Fair BPEL Processes Transaction using Non-Repudiation Protocols.
M. BilalJohnson P. ThomasMathews ThomasSubil AbrahamPublished in: IEEE SCC (2005)
Keyphrases
- secure electronic
- trusted third party
- business process management
- web services
- multi party non repudiation
- security requirements
- business processes
- business process
- security mechanisms
- process model
- service oriented
- formal methods
- service composition
- database
- third party
- petri net
- credit card
- concurrency control
- security analysis
- web services composition
- digital signature
- security protocols
- description language
- workflow management systems
- mobile payment
- colored petri nets
- concurrent processes
- case study