###
DOI:
Journal of Software:2000.11(2):240-250

电子商务安全协议及其非单调动态逻辑验证
陈庆锋,白硕,王驹,张师超,隋立颖
(国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学系,桂林,541004;中国科学院软件研究所,北京,100080)
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
Chart / table
Reference
Similar Articles
Article :Browse 2581   Download 2082
Received:April 03, 1998    Revised:March 22, 1999
> 中文摘要: 该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家863高科技项目基金(No.863-306-ZD-10-02)资助. 本文研究得到国家863高科技项目基金(No.863-306-ZD-10-02)资助.
Foundation items:
Reference text:

陈庆锋,白硕,王驹,张师超,隋立颖.电子商务安全协议及其非单调动态逻辑验证.软件学报,2000,11(2):240-250

CHEN Qing-feng,BAI Shuo,WANG Ju,ZHANG Shi-chao,Sui Li-ying.The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic.Journal of Software,2000,11(2):240-250