10.3969/j.issn.1004-3918.2008.03.021
一种新的安全协议设计方法
已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.
安全协议、形式化设计、协议推导系统、ISO-9798-3协议
26
TP393(计算技术、计算机技术)
国家自然科学基金90204015;60473021;河南省科技攻关项目0524220044
2008-05-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
322-325