【摘要】 NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追究。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。更多还原

【Abstract】 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.更多还原