E-Commerce Protocols: Overview, Trend and Verification

Carmen Timofte ()

Ovidius University Annals, Economic Sciences Series, 2011, vol. XI, issue 1, 2103-2108

Abstract: 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.

Keywords: E-commerce; protocols; SET; AADS; 3D Secure; SSL. (search for similar items in EconPapers)
JEL-codes: L86 (search for similar items in EconPapers)
Date: 2011
References: Add references at CitEc
Citations:

Downloads: (external link)
http://stec.univ-ovidius.ro/html/anale/RO/cuprins%20rezumate/rezumate2011p1.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ovi:oviste:v:11:y:2011:i:1:p:2103-2108

Access Statistics for this article

Ovidius University Annals, Economic Sciences Series is currently edited by Spatariu Cerasela

More articles in Ovidius University Annals, Economic Sciences Series from Ovidius University of Constantza, Faculty of Economic Sciences Contact information at EDIRC.
Bibliographic data for series maintained by Gheorghiu Gabriela ().