论文部分内容阅读
传统的有线网络由于受到环境等条件的制约，在各方面都存在着亟需解决的问题，那么，发展可行的无线通信网络技术也就成为网络发展的必然趋势。本文对无线网络安全协议的形式化方法进行了全面的概述，分析了无线网络的安全威胁以及具体表现，着重探讨了无线网络安全协议的形式化分析方法。
无线网络安全协议的形式化分析方法
【摘 要】
：
传统的有线网络由于受到环境等条件的制约，在各方面都存在着亟需解决的问题，那么，发展可行的无线通信网络技术也就成为网络发展的必然趋势。本文对无线网络安全协议的形式化方法
【机 构】
：
新疆阿克苏教育学院
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2014年17期
其他文献
介绍MK系列全液压钻机的结构特点,基本参数及钻机在煤矿井下瓦斯抽放钻孔的施工应用情况及钻机选型方法及需考虑的主要参数.
本文从家庭用户出发,根据目前无线网络用户对无线使用的需求性和稳定性等问题,系统介绍了家庭WDS的组建,无线路由器设置和网络安全等。
社会主义核心价值观是社会主义思想文化建设的重要内容,它对个体的社会化发展具有重要价值引导作用。理论凝练与发展完善是社会主义核心价值观构建的逻辑起点,大众化传播是社
党的十九大顺利召开,标志着中国特色社会主义进入新时代。这个时代是决胜全面建成小康社会,开启全面建设社会主义现代化国家新征程的时代。习总书记指出,"我们要牢固树立社会
本文通过各个层面对高校财务管理系统的需求等方面进行研究,综合现有的研究和实践成果,对高校财务管理系统进行重新规划和设计,形成新的管理系统框架理论。
“拒斥形而上学”“形而上学的终结”“重建形而上学”“后形而上学”等表明学界对形而上学充满歧解,也表明形而上学本身的复杂性。以诟病具体形态的形而上学否定作为整个文
本论文主要针对中小型饭店餐饮管理中出现的一些问题，使用Java EE技术，采用SSH框架，结合Oracle数据库，将其与计算机信息管理系统结合起来，实现把计算机用于餐饮企业管理，可在很大程
为了研究和提高网络的可靠性,满足公司或单位对高可靠性计算机网络的需要,在简要介绍计算机网络发展的基础上,多角度多方面的探讨计算机网络的稳定性。并从工程事例总结计算
根据新汶矿区实际情况重点阐述了困难条件下的巷道支护技术及达到的效果,对今后矿井的巷道设计及应用提供一定参考.