共 6 条
[1]
安全协议形式化自动验证工具AVISPA的研究.[D].赵国威.吉林大学.2013, 04
[2]
空间网络安全技术研究与实现.[D].林伟.电子科技大学.2012, 07
[3]
基于节点信誉的无线传感器网络安全关键技术研究.[D].欧阳熹.北京邮电大学.2013, 01
[4]
面向多级安全的网络安全通信模型及其关键技术研究.[D].曹利峰.解放军信息工程大学.2013, 01
[5]
移动Ad Hoc网络安全路由协议设计与分析技术研究.[D].郭显.兰州理工大学.2011, 02
[6]
基于串空间模型安全协议形式化方法的分析与扩展.[D].董学文.西安电子科技大学.2011, 04