%0 Journal Article
%T 一种分析电子商务协议的新工具
%A 周典萃？
%A 卿斯汉？
%A 周展飞？
%J 软件学报
%P 1318-1328
%D 2001
%X 提出了一种新的形式化分析方法,可用于分析电子商务协议.与kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.
%K 可追究性
%K 电子商务
%K 公平性
%K 逻辑分析
%K 协议
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20010908&flag=1