电子商务安全协议的逻辑验证

陈庆锋; 王驹; 白硕; 张师超; 隋立颖

引用本文:	陈庆锋,王驹,白硕,张师超,隋立颖.电子商务安全协议的逻辑验证.软件学报,2000,11(3):346-362

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 4369次下载 6025次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
电子商务安全协议的逻辑验证
陈庆锋^1,2, 王驹³, 白硕², 张师超¹, 隋立颖²
1.广西师范大学数学与计算机科学系,桂林,541005;2.国家智能计算机研究开发中心,北京,100080;3.中国科学院软件研究所,北京,100080

摘要:

作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.

关键词: 信息安全,逻辑验证,防抵赖性,可追踪性.

DOI：

分类号:

基金项目:本文研究得到国家863高科技项目基金(No.863-306-ZD-10-02)资助.

Logical Verification of Secure Electronic Transactions Protocol

CHEN Qing-feng,WANG Ju,BAI Shuo,ZHANG Shi-chao,SUI Li-ying

Abstract:

In the previous work,some segments of secure electronic transactions (SET) are verified,and some potential problems in SET are also discussed.Based on these,all transactions in SET are strictly logically verified in this paper.Though this formal logic verification,certain problems are found to do exist in SET.Solutions to these problems are also discussed.

Key words: Information security,logical verification,accountability,traceable.