Formal analysis of e-commerce protocols

被引：0
|
作者：
Papa, M [1 ]
Bremer, O [1 ]
Hale, J [1 ]
Shenoi, S [1 ]
机构：
[1] Univ Tulsa, Dept Comp Sci, Ctr Informat Secur, Tulsa, OK 74104 USA
来源：
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2001年 / E84D卷 / 10期
关键词：
formal methods; cryptography; e-commerce;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a formalism for the analysis of e-commerce protocols. The approach integrates logics and process calculi, providing an expressive message passing semantics and sophisticated constructs for modeling principals. A common set of inference rules for communication, reduction and information analysis supports proofs about message passing, the knowledge and behavior of principals, and protocol properties. The power of the formalism is illustrated with an analysis of the NetBill Protocol.
引用
收藏
页码：1313 / 1323
页数：11
相关论文
共 50 条
  • [41] Cost Analysis for E-commerce Enterprises
    Liu, Yunping
    MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 1701 - 1704
  • [42] THE ANALYSIS AND POTENTIAL DEVELOPMENT OF E-COMMERCE
    Svatosova, Veronika
    HRADECKE EKONOMICKE DNY 2015, ROC 5(3), 2015, 5 : 162 - 173
  • [43] Advanced SWOT Analysis of E-Commerce
    Awais, Muhammad
    Samin, Tanzila
    International Journal of Computer Science Issues, 2012, 9 (2 2-2): : 569 - 574
  • [44] Neutrosophic Statistical Analysis of E-commerce
    Gomez, Lysbeth Kruscthalia Alvarez
    Guerrero, Mireya Silvana Cuaran
    de Oca Sanchez, Jimena Elizabeth Montes
    Paladines, Monica Elizabeth Benalcazar
    Lopez, Asnioby Hernandez
    Neutrosophic Sets and Systems, 2021, 44 : 170 - 178
  • [45] Learning and analysis in an e-commerce project
    Carlsson, S
    INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN METHODOLOGIES, COMPONENTS AND MANAGEMENT, 2002, : 401 - 412
  • [46] Analysis on the Integration of ERP and E-Commerce
    Wang, Yongqing
    Shi, Yuliana
    GREEN ENERGY AND SUSTAINABLE DEVELOPMENT I, 2017, 1864
  • [47] E-commerce
    中国储运, 2015, (06) : 109 - 109
  • [48] E-commerce
    Anon
    Holz - Kurier, 2001, 56 (20):
  • [49] E-commerce
    Chemical & Engineering News, 2000, 78 (21)
  • [50] E-commerce
    Rabinovitch, E
    IEEE COMMUNICATIONS MAGAZINE, 2000, 38 (08) : 18 - +
12345