A formal specification and performance evaluation of the purchase phase in the SET protocol

Author

Ruiz, M. Carmen ; Cazorla, Diego ; Cuartero, Fernando ; Pardo, Juan Jose

Author_Institution

Univ. de Castilla-La Mancha, Albacete, Spain

fYear

2005

fDate

25-29 Sept. 2005

Abstract

This paper reports the formal specification and performance evaluation of a phase in the Secure Electronic Transaction (SET), an e-commerce protocol by Visa and MasterCard. We focus on the purchase phase which is modelled by means of a True Concurrency Timed Process Algebra (BTC), which takes into account the number of resources that the system has at its disposal. Here, we extend its syntax with the intention of representing what actions use the shared resources and how many resources the system has at its disposal. We then give a performance evaluation of this model where some interesting results are presented.

Keywords

electronic commerce; formal specification; process algebra; protocols; purchasing; security of data; software performance evaluation; SET protocol; Secure Electronic Transaction; True Concurrency Timed Process Algebra; e-commerce protocol; formal specification; performance evaluation; purchase phase; Algebra; Concurrent computing; Electronic commerce; Formal specifications; Internet; Protocols; Scientific computing; Security; Sockets; State estimation;

fLanguage

English

Publisher

ieee

Conference_Titel

Symbolic and Numeric Algorithms for Scientific Computing, 2005. SYNASC 2005. Seventh International Symposium on

Print_ISBN

0-7695-2453-2

Type

conf

DOI

10.1109/SYNASC.2005.4

Filename

1595856