在NetBill交易协议中引入对商家的时限责任的追究  

Introducing Temporal Accountability to the Merchant in the NetBill Transaction Protocol

作　　者：彭勋[1] 董荣胜[1] 郭云川[1] 蔡国永[1] 

机构地区：[1]桂林电子工业学院计算机系,桂林541004

出　　处：《计算机科学》2004年第10期79-83,共5页Computer Science

基　　金：广西自然科学基金(0229051)

摘　　要：NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追究。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。NetBill is a micropayment system for information goods and services on the Internet. This paper points out a merchant fraud in the NetBill protocol from the temporal accountability view, and fixs the problem by introducing a timestamp server into the NetBill system. By using a temporal logic, this paper also proves that the modified NetBill system has the ability to hold the merchant's temporal accountability.

关 键 词：电子交易系统 商家 责任 协议 商品 服务器 时限 时间戳 发送 属性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] F830[自动化与计算机技术—计算机科学与技术]