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
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;
Conference_Titel :
Services Computing, 2005 IEEE International Conference on
Print_ISBN :
0-7695-2408-7
DOI :
10.1109/SCC.2005.52
