Formal analysis of the NetBill electronic commerce protocol

被引：0
|
作者：
Ogata, K
Futatsugi, K
机构：
来源：
SOFTWARE SECURITY - THEORIES AND SYSTEMS | 2004年 / 3233卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
NetBill is an electronic commerce protocol, which allows customers to purchase information goods from merchants over the Internet. It supports goods delivery as well as payment, while many other electronic commerce protocols do not take care of goods delivery. In this paper, we describe the case study in which NetBill has been analyzed with the OTS/CafeOBJ method.
引用
收藏
页码：45 / 64
页数：20
相关论文
共 50 条
  • [21] A Secure Formal Analysis of E-commerce Protocol Based on the Semi-regular Entities
    Yang Jie
    Wu Tao
    Chen Guan-qiao
    PROCEEDINGS OF THE 14TH YOUTH CONFERENCE ON COMMUNICATION, 2009, : 488 - 491
  • [22] NETBILL - AN INTERNET COMMERCE SYSTEM OPTIMIZED FOR NETWORK-DELIVERED SERVICES
    SIRBU, M
    TYGAR, JD
    IEEE PERSONAL COMMUNICATIONS, 1995, 2 (04): : 34 - 39
  • [23] A Formal Model of Distributed Security for Electronic Commerce Transactions Systems
    Ehikioya, Sylvanus A.
    Olukunle, Adepele A.
    INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING, 2019, 7 (02) : 68 - 84
  • [24] A Formal Model of Distributed Security for Electronic Commerce Transactions Systems
    Sylvanus A. Ehikioya
    Adepele A. Olukunle
    International Journal of Networked and Distributed Computing, 2019, 7 : 68 - 84
  • [25] A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets
    Liu, Wei
    Du, Yuyue
    Fu, You
    Yan, Chun
    PROGRESS IN CIVIL ENGINEERING, PTS 1-4, 2012, 170-173 : 3570 - 3574
  • [26] Security electronic commerce protocol by the third kind entities
    Yang, Jie
    Deng, Hui-Fang
    PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 4438 - +
  • [27] Research of satisfying atomic and anonymous electronic commerce protocol
    Tang, J
    Li, JZ
    Wang, KH
    Cai, YR
    GRID AND COOPERATIVE COMPUTING, PT 2, 2004, 3033 : 319 - 326
  • [28] Formal analysis of e-commerce protocols
    Papa, M
    Bremer, O
    Hale, J
    Shenoi, S
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 19 - 28
  • [29] Formal analysis of e-commerce protocols
    Papa, M
    Bremer, O
    Hale, J
    Shenoi, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (10) : 1313 - 1323
  • [30] Formal Analysis of IBC Protocol
    Wei, Qiuyang
    Zhao, Xufeng
    Zhu, Xue-Yang
    Zhang, Wenhui
    2023 IEEE 31ST INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, ICNP, 2023,
12345