BPEL Processes for Non-Repudiation Protocols in Web Services
M. Bilal, J.P. Thomas, P. Harrington, Ajith Abraham · 2006
The BPEL language formally specifies business processes and interaction protocols. Nonrepudiation is a serious security issue in business transactions where any involved party denies having participated in a transaction. We propose and verify novel nonrepudiation protocols for business transactions and specify them in BPEL. Our proposed protocols fulfil the requirements of security, fairness, and timeliness.