%0 Journal Article
%T 电子商务安全协议的逻辑验证
%A 陈庆锋？
%A 王驹？
%A 白硕？
%A 张师超？
%A 隋立颖？
%J 软件学报
%P 346-362
%D 2000
%X 作者在以前所做的工作中,已对电子商务安全(secureelectronictransactions,简称set)中抽取的片段进行了证明,也对set中可能存在的问题进行了初步探讨.该文在此基础上,对set的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了set协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.
%K 信息安全
%K 逻辑验证
%K 防抵赖性
%K 可追踪性.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000310&flag=1