摘要
该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .
This paper introduces the payment process of SET (secure electronic transactions) protocol, and extends the logical framework of NDL to fit the purpose of logical verification of SET. This means to add some new axioms about SET protocols and redefine some given inference rules. Based on these, the logical verification for key fragments of SET protocol is given to show the importance of NDL and its extensions in E commerce. Topics for further research on the “Rule of Accumulation” are also proposed.
出处
《软件学报》
EI
CSCD
北大核心
2000年第2期240-250,共11页
Journal of Software
基金
国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助
关键词
信息安全
逻辑验证
电子商务
安全协议
Information security, logical verification, electronic commerce, registration, payment.
