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 条
  • [1] An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol
    El Mimouni, Sanae
    Bouhdadi, Mohamed
    NETWORKED SYSTEMS, NETYS 2016, 2016, 9944 : 209 - 213
  • [2] Secure, atomic electronic commerce protocol and its formal verification
    Wu, Zhigang
    Fang, Binxing
    Sun, Peng
    Li, Yaping
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2000, 37 (07): : 869 - 873
  • [3] 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
  • [4] A formal specification strategy for electronic commerce
    Ehikioya, SA
    Barker, K
    IDEAS '97 - INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 201 - 210
  • [5] FMEC: Formal modeling for electronic commerce
    Kimbrough, SO
    Tan, YH
    DECISION SUPPORT SYSTEMS, 2002, 33 (03) : 221 - 223
  • [6] Formal analysis of an anonymous fair exchange e-commerce protocol
    Kong, WQ
    Ogata, K
    Xiang, JW
    Futatsugi, K
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1100 - 1107
  • [7] Towards the formal verification of electronic commerce protocols
    Bolignano, D
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 133 - 146
  • [8] Binding telecooperation -: a formal model for electronic commerce
    Grimm, R
    Ochsenschläger, P
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 37 (02): : 171 - 193
  • [9] A formal yet practical approach to Electronic Commerce
    Konopnicki, D
    Leiba, L
    Shmueli, O
    Sagiv, Y
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2002, 11 (1-2) : 93 - 117
  • [10] Design and Formal Analysis of Electronic Voting Protocol using AVISPA
    Oo, Htet Ne
    Aung, Aye Moe
    2017 2ND INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2017, : 1 - 8
12345