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 条
  • [21] On the modelling of document exchange processes in e-commerce protocols
    Wang, X
    Cheung, SC
    Wei, J
    SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 387 - 396
  • [22] Quantum e-commerce: a comparative study of possible protocols for online shopping and other tasks related to e-commerce
    Kishore Thapliyal
    Anirban Pathak
    Quantum Information Processing, 2019, 18
  • [23] Quantum e-commerce: a comparative study of possible protocols for online shopping and other tasks related to e-commerce
    Thapliyal, Kishore
    Pathak, Anirban
    QUANTUM INFORMATION PROCESSING, 2019, 18 (06)
  • [24] The Research of Search Engine System in e-Commerce Based on Formal Concept Analysis
    Sun, XiuYing
    ADVANCES IN ELECTRONIC COMMERCE, WEB APPLICATION AND COMMUNICATION, VOL 2, 2012, 149 : 441 - 444
  • [25] Formal Analysis of Timeliness in Electronic Commerce Protocols
    Liu, Yi
    Liu, Xingtong
    Ye, Jiaxi
    Tang, Chaojing
    2016 PROGRESS IN ELECTROMAGNETICS RESEARCH SYMPOSIUM (PIERS), 2016, : 3652 - 3656
  • [26] Website categorization: A formal approach and robustness analysis in the case of e-commerce detection
    Bruni, Renato
    Bianchi, Gianpiero
    EXPERT SYSTEMS WITH APPLICATIONS, 2020, 142
  • [27] Economic analysis of e-commerce
    Yi, FM
    Li, X
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON E-BUSINESS (ICEB2002), 2002, : 46 - 51
  • [28] E-commerce measurements and analysis
    Davis, Tim
    Statistical Journal of the United Nations Economic Commission for Europe, 2003, 20 (3-4): : 289 - 301
  • [29] Rescuing E-Commerce or E-Commerce to the Rescue?
    Kendall, Kenneth E.
    Information Resources Management Journal, 2003, 16 (03)
  • [30] A Formal Approach to Investigate the Performance of Modern E-Commerce Services
    Nafea, Ibtehal
    Holton, D. R. W.
    Younas, Muhammad
    Awan, Irfan
    ANALYTICAL AND STOCHASTIC MODELING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2010, 6148 : 233 - +
12345