计算机应用研究2008,Vol.25Issue(3):930-933,4.
调和安全协议两种分析方法的理论研究
Research on how to reconcile two views of security protocols'analysis
朱玉娜 1王亚弟 1韩继红 1范钰丹1
作者信息
- 1. 解放军信息工程大学,电子技术学院,郑州,450004
- 折叠
摘要
关键词
安全协议/符号方法/计算方法/密码学可靠性分类
信息技术与安全科学引用本文复制引用
朱玉娜,王亚弟,韩继红,范钰丹..调和安全协议两种分析方法的理论研究[J].计算机应用研究,2008,25(3):930-933,4.