E-Commerce Protocols: Overview, Trend and Verification

Many researchers have looked at the problem of verifying e-commerce protocols, but much work remains to be done. On the final, I present the trends for the utilization of formal methods for the verification of modern complicated protocols and protocol suites for the real commercial world.

MoreLess

Year of publication:	2011
Authors:	Carmen, Timofte
Published in:	Ovidius University Annals, Economic Sciences Series. - Facultatea de Ştiinţe Economice, ISSN 1582-9383. - Vol. XI.2011, 1, p. 2103-2108
Publisher:	Facultatea de Ştiinţe Economice
Subject:	E-commerce \| protocols \| SET \| AADS \| 3D Secure \| SSL

freely available

Full text |

More access options

Check Google Scholar

In libraries world-wide (WorldCat)

In German libraries (KVK)

subito order

I need help

More details

Extent:	application/pdf
Type of publication:	Article
Classification:	L86 - Information and Internet Services; Computer Software
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10010632409