Title :
BPEL processes for non-repudiation protocols in Web services
Author :
Bilal, M. ; Thomas, J.P. ; Harrington, P. ; Abraham, Ajith
Author_Institution :
Dept. of Comput. Sci., Oklahoma State Univ., USA
Abstract :
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.
Keywords :
Internet; business data processing; formal specification; protocols; specification languages; transaction processing; BPEL; Business Process Execution Language; Web service security; business transaction process; interaction protocol; nonrepudiation protocol; Access protocols; Collaboration; Computer science; Cryptography; Formal specifications; Information security; Joining processes; Protection; Runtime; Web services;
Conference_Titel :
Next Generation Web Services Practices, 2005. NWeSP 2005. International Conference on
Print_ISBN :
0-7695-2452-4
DOI :
10.1109/NWESP.2005.22
