检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:彭勋[1] 董荣胜[1] 郭云川[1] 蔡国永[1]
出 处:《计算机工程与应用》2004年第29期195-198,共4页Computer Engineering and Applications
基 金:广西自然科学基金项目(编号:0229051)资助
摘 要:电子商务协议需要满足一定的安全特性,其中一个特性是时限性。时限性是指协议中各个主体的行为必须在规定的时间范围内完成,而对于违反了时限要求的主体行为,这类协议都应能够追究该主体的时限责任。该文分析了Kudo提出的一个安全电子投递协议中的两个缺陷,并给出了改进后协议的时限责任证明。Electronic commerce protocol must satisfy some security properties.One of the properties for time-critical secure protocols is temporal accountability.This property requires all principals in the protocol to finish their tasks within a specified period and the protocol has the ability to figure out each individual's temporal accountability.Two flaws in an electronic submission protocol proposed by Kudo have been pointed out and corrected in this paper.At the end of this paper,a formal analysis of the improved protocol is also shown.
分 类 号:TP393.04[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.40