ANALYZING E-COMMERCE PROTOCOLS

被引：0
|
作者：
Timofte, Carmen [1 ]
机构：
[1] Bucharest Acad Econ Studies, Bucharest, Romania
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2011), 6TH EDITION | 2011年
关键词：
E-commerce; protocols; SET; AADS; 3D Secure; SSL;
D O I：
暂无
中图分类号：
F8 [财政、金融];
学科分类号：
0202 ;
摘要：
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.
引用
收藏
页码：488 / 495
页数：8
相关论文
共 50 条
  • [41] E-commerce
    [J]. Software World, 2000, 31 (03):
  • [42] E-commerce
    [J]. 2000, Miller Freeman plc, London, Engl (289):
  • [43] e-Commerce
    不详
    [J]. ELECTRONICS INFORMATION & PLANNING, 2001, 29 (01): : 3 - 26
  • [44] E-commerce
    Anon
    [J]. Material Handling Management, 2000, 55 (13):
  • [45] E-commerce
    [J]. Engineer (London), 2000, 289 (7498):
  • [46] E-commerce
    [J]. 2000, Miller Freeman plc, London, Engl (289):
  • [47] E-commerce
    Cerf, VG
    [J]. IEEE COMMUNICATIONS MAGAZINE, 1999, 37 (03) : 26 - 27
  • [48] E-commerce
    [J]. Chemical & Engineering News, 1998, 76 (21):
  • [49] E-commerce
    [J]. Chem Eng News, 28 (11):
  • [50] A Smart Methodology for Analyzing Secure E-Banking and E-Commerce Websites
    Latif, Rana M. Amir
    Umer, Muhammad
    Tariq, Tayyaba
    Farhan, Muhammad
    Rizwan, Osama
    Ali, Ghazanfar
    [J]. PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2019, : 589 - 596
12345