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 条
  • [1] Protocols for e-commerce
    Aslam, T
    [J]. DR DOBBS JOURNAL, 1998, 23 (12): : 52 - +
  • [2] ECDSA protocols for E-commerce
    Vijayarangan, N
    [J]. IETE TECHNICAL REVIEW, 2002, 19 (04): : 199 - 201
  • [3] Formal analysis of e-commerce protocols
    [J]. Papa, M, 2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-D)
  • [4] Formal analysis of e-commerce protocols
    Papa, M
    Bremer, O
    Hale, J
    Shenoi, S
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (10) : 1313 - 1323
  • [5] Formal analysis of e-commerce protocols
    Papa, M
    Bremer, O
    Hale, J
    Shenoi, S
    [J]. 5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 19 - 28
  • [6] A framework for analyzing e-commerce security
    Kesh, Someswar
    Ramanujan, Sam
    Nerur, Sridhar
    [J]. Information Management and Computer Security, 2002, 10 (04): : 149 - 158
  • [7] Research on E-Commerce Secure Payment Protocols
    Zhu Jun-xuan
    Wu Zhong
    [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON PUBLIC ECONOMICS AND MANAGEMENT (ICPEM 2009), VOL 5: STATISTICS AND METHODOLOGY, 2009, : 430 - 433
  • [8] Exploiting automatic analysis of e-commerce protocols
    Wei, J
    Cheung, SC
    Wang, X
    [J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 55 - 62
  • [9] E-commerce payment protocols: Requirements and analysis
    Zaba, S
    [J]. 9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 78 - 80
  • [10] Composition of negotiation protocols for e-commerce applications
    Diakov, N
    Zlatev, Z
    Pokraev, S
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 418 - 423
12345