| 本文已被：浏览 4363次 下载 5181次 |
码上扫一扫！ |
|
|
| 电子商务安全协议及其非单调动态逻辑验证 |
|
陈庆锋1,2, 白硕1, 王驹3, 张师超2, 隋立颖1
|
|
1.国家智能计算机研究开发中心,北京,100080;2.广西师范大学数学与计算机科学系,桂林,541004;3.中国科学院软件研究所,北京,100080
|
|
| 摘要: |
| 该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题. |
| 关键词: 信息安全,逻辑验证,电子商务,注册,付费. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目基金(No.863-306-ZD-10-02)资助. |
|
| The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic |
|
CHEN Qing-feng,BAI Shuo,WANG Ju,ZHANG Shi-chao,Sui Li-ying
|
| Abstract: |
| 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. |
| Key words: Information security,logical verification,electronic commerce,registration,payment. |
