DocumentCode
443019
Title
Fair BPEL processes transaction using non-repudiation protocols
Author
Bilal, M. ; Thomas, J.P. ; Thomas, Mathews ; Abraham, Subil
Author_Institution
Oklahoma State Univ., Stillwater, OK, USA
Volume
1
fYear
2005
fDate
11-15 July 2005
Firstpage
337
Abstract
There is a need for protocols to achieve universal interoperability among Web services and to provide a fair and secure environment with non-repudiation. BPEL provides a language for the formal specification of business processes and business interaction protocols. In this paper we propose and verify a non-repudiation protocol using Petri nets for chain-linked business transactions and show that they may be specified in BPEL.
Keywords
Internet; Petri nets; business data processing; formal specification; formal verification; open systems; protocols; security of data; specification languages; BPEL; Business Process Execution Language; Petri nets; Web service; business interaction protocol; chain-linked business transaction; formal specification; interoperability; nonrepudiation protocol verification; secure environment; Access protocols; Collaboration; Cryptography; Formal specifications; Joining processes; Petri nets; Public key; Security; Simple object access protocol; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing, 2005 IEEE International Conference on
Print_ISBN
0-7695-2408-7
Type
conf
DOI
10.1109/SCC.2005.52
Filename
1531274
Link To Document