期刊文献+

无线网络安全协议的形式化分析方法

下载PDF
导出
摘要 传统的有线网络由于受到环境等条件的制约,在各方面都存在着亟需解决的问题,那么,发展可行的无线通信网络技术也就成为网络发展的必然趋势。本文对无线网络安全协议的形式化方法进行了全面的概述,分析了无线网络的安全威胁以及具体表现,着重探讨了无线网络安全协议的形式化分析方法。
作者 金磊
出处 《计算机光盘软件与应用》 2014年第17期293-293,295,共2页 Computer CD Software and Application
  • 相关文献

参考文献3

二级参考文献45

  • 1任伟,无线网络安全[M].北京:电子工业出版社,2011.1-10. 被引量:11
  • 2GB17859.计算机信息系统安全保护等级划分准则[S].[S].公安部,1999.. 被引量:9
  • 3CNNIC.中国互联网络发展状况统计报告[R].北京:中国互联网络信息中心,2012. 被引量:9
  • 4CNCERT.2011年我国互联网网络安全态势综述[R]. 2012年3月. 被引量:1
  • 5CNCERT. 2012年互联网安全威胁报告[R]. 2012年5月. 被引量:1
  • 6CNCERT.2011年中国互联网网络安全报告[R]. 2012年5月. 被引量:1
  • 7瑞星.2012年上半年中国信息安全报告[R].2012年7月. 被引量:1
  • 82010年全国信息网络安全状况与计算机病毒疫情调查分析报告[R]. 2010. 被引量:1
  • 9彭瑞平,张夏阳.揭阳警方破获人侵政府网站大案[EB/OL]. 揭阳新闻网,2012年8月6日. 被引量:1
  • 10HP. 2011 top cyber security risks report[ EB/OL]. http: //wen-ku. itl68. com/. 被引量:1

共引文献71

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部