DocumentCode
3232335
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
fYear
2005
fDate
22-26 Aug. 2005
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Next Generation Web Services Practices, 2005. NWeSP 2005. International Conference on
Print_ISBN
0-7695-2452-4
Type
conf
DOI
10.1109/NWESP.2005.22
Filename
1592444
Link To Document