电子商务安全协议及其非单调动态逻辑验证

摘要：

该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.

关键词：信息安全、逻辑验证、电子商务、注册、付费

所属期刊栏目：11

分类号：TP309(计算技术、计算机技术)

资助基金：国家科技攻关项目863-306-ZD-10-02

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：240-250