节点文献
安全协议的形式化验证技术研究
The Research on Technology of Formal Verification Based on Security Protocols
【摘要】 对安全协议形式化验证方法所应用的技术进行了研究,总结了当前安全协议的各种形式化验证方法的特点,指出今后一段时期内安全协议形式化验证技术的研究方向.
【Abstract】 There researches the technologies of formal methods for verifying security protocols,and summarizes the characteristics of the methods used in verification of security protocols.It also points out some major trends of research in this area in the recent future.
- 【文献出处】 太原师范学院学报(自然科学版) ,Journal of Taiyuan Normal University(Natural Science Edition) , 编辑部邮箱 ,2007年04期
- 【分类号】TP393.08
- 【被引频次】1
- 【下载频次】76