10.3969/j.issn.1001-3695.2008.03.081
调和安全协议两种分析方法的理论研究
安全协议形式化分析方法分为两种,即符号方法和计算方法.比较两种方法,它们各有优缺点.目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点.针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进行了全面分析.
安全协议、符号方法、计算方法、密码学可靠性
25
TP309(计算技术、计算机技术)
2008-05-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
930-933