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