期刊名称：Journal of Advanced Computer Science & Technology
印刷版ISSN：2227-4332
电子版ISSN：2227-4332
出版年度：2017
卷号：6
期号：1
页码：13-19
DOI：10.14419/jacst.v6i1.6713
出版社：Science Publishing Corporation
摘要：Lots of work have been attempted to enhance the SET protocol performance special attention is on E-payment phase. This paper thoroughly analyzes recent works on payment phase; it has been found that this subject requires considerable enhancements, since there are areas, which require further study such as: E-payment phase in SET protocol. E-payment phase is vast and complex phase it has long series of steps. The behavior of environment is assumed by the phase and is restricted to the rules built by their proposed protocol. This paper will follow Ph-Spi calculus for formalizing and analyzing enhanced payment phase of SET protocol by reducing the number of transactions with many additional operators. A new agent controller will be formally modeled, which we can rely upon to make automated decisions during interaction with a dynamic protocol environment. So, this agent controller is used to terminate the transaction process in any case of fraud or attack. This paper is conjunction between our previous works of E-payment phase in SET protocol and other works in Ph-Spi calculus in purpose of analyzing and proving the main security properties: authentication and privacy to evaluate the efficiency of the enhanced security of electronic payment phase for SET protocol (E-SET) using Ph-Spi calculus.
关键词：SET Protocol;Cryptographic Protocol;SPI and PH-SPI Calculus;Authentication and Privacy.
Loading...
