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 条
  • [31] Formal analysis of e-commerce protocols
    Papa, M., 2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-D)
  • [32] Formal multi-agent systems model with application to electronic commerce
    Yu, Zhenhua
    Liu, Fenglei
    Cai, Yuanli
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 2711 - 2715
  • [33] Introduction to the Special Issue on Formal Modeling in Electronic Commerce – Part I
    Steven O. Kimbrough
    D. J. Wu
    Group Decision and Negotiation, 2007, 16 : 97 - 99
  • [34] Introduction to the special issue on formal modeling in electronic commerce - Part I
    Kimbrough, Steven O.
    Wu, D. J.
    GROUP DECISION AND NEGOTIATION, 2007, 16 (02) : 97 - 99
  • [35] Introduction to the Special Issue on Formal Modelling in Electronic Commerce - Part II
    Kimbrough, Steven O.
    Wu, D. J.
    GROUP DECISION AND NEGOTIATION, 2007, 16 (03) : 211 - 212
  • [36] Introduction to the Special Issue on Formal Modelling in Electronic Commerce – Part II
    Steven O. Kimbrough
    D. J. Wu
    Group Decision and Negotiation, 2007, 16 : 211 - 212
  • [37] Formal Analysis of Electronic Exams
    Dreier, Jannik
    Giustolisi, Rosario
    Kassem, Ali
    Lafourcade, Pascal
    Lenzini, Gabriele
    Ryan, Peter Y. A.
    2014 11TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY (SECRYPT), 2014, : 101 - 112
  • [38] Secure and Anonymous Electronic Commerce Protocol over a Public Network
    Das, Vinu V.
    2008 2ND INTERNATIONAL CONFERENCE ON INTERNET MULTIMEDIA SERVICES ARCHITECTURE AND APPLICATION (IMSAA), 2008, : 138 - 143
  • [39] Efficient key distribution protocol for electronic commerce in mobile communications
    Kwak, Jin
    Oh, Soohyun
    Won, Dongho
    APPLIED PARALLEL COMPUTING: STATE OF THE ART IN SCIENTIFIC COMPUTING, 2006, 3732 : 1009 - 1016
  • [40] A formal approach for obligation analysis of E-commerce
    Yuyue, Du
    Changjun, Jiang
    CHINESE JOURNAL OF ELECTRONICS, 2008, 17 (02): : 200 - 204
12345