1、“.....模型对安全的本质性定直接分析的方法，要么就移动网络的特殊性来扩展形式化分析方法。已有的安全路由协议形式化分析方法主要包括计算模型方法和符号模型方法。目前较为流行的分析协议安全性的方法包括通用可复合模型与协议复合逻辑。移动移动网络安全路由协议设计与分析技术论文原稿复杂，本论文只是对相关问题作出初步的探索，仍然存在较多问题有待解决，需要进行深入的研究。随着更多的学者不断参与进行动网络的相关研究，该技术迅速扩展至民用系统中，具有非常广阔的应用前景。参考文献李金鹏，吕光宏......”。

2、“.....薛强移因此不能直接用来描述移动网络路由协议的安全属性。层次化结构模型综合上述模型特点，从攻击者拥有的节点个数攻击者通信能力和攻击者计算能力个方面分析其攻击强度。其主要目标位确定攻击者攻陷路由协议所需的最低攻击能力，使比较不同安全过也存在着些问题，主要是规定所有攻击者控制的攻陷节点的通信能力与网络的普通节点相同，攻击者的攻击能力取决于实际网络拓扑结构，而且不允许攻击者控制的攻陷节点间共享协议运行中捕获的信息参数化攻击模型与攻击模型存在着比较相协议复合逻辑对安全的本质性定位为公式......”。

3、“.....其中的协议消息为符号术语，将密码学原语看作执行有限符号运行的操作，也即攻击者必须拥有正确的密钥信息方能进行各种密码学操作。假设协议所用的密码学算法时施的自组织无线网络，整个网络的各个节点均处于不断地移动状态且与其它的节点可以任意方式保持动态的联系。网络节点同时具有主机路由器的作用，在两节点处于相互间无法进行直接通信的范围内，便可借助于与其它节点的协作完成数据的分组转发实现通讯目安全的网络路由协议提供合理的攻击模型。结语移动网络安全路由协议设计与分析极为复杂......”。

4、“.....仍然存在较多问题有待解决，需要进行深入的研究。随着更多的学者不断参与进行动网络的相关议均不能预防此类攻击者攻击模型忽略了中间节点的行为，并不依赖中间节点进行数据传输，因此不能直接用来描述移动网络路由协议的安全属性。层次化结构模型综合上述模型特点，从攻击者拥有的节点个数攻击者通信能力和攻击者型参数化攻击模型自适应攻击模型和攻击模型。攻击模型应用较为广泛，不过也存在着些问题，主要是规定所有攻击者控制的攻陷节点的通信能力与网络的普通节点相同，攻击者的攻击能力取决于实际网络拓扑结构......”。

5、“.....在没有固定的网络基础设施的环境下，如需要完成临时通信，就可以通过简便的移动网络搭建来实现。的证明系统包含系列的公理及规则，这些公理及规则范围协议行为公理拥有公理及普通规则个部分，也可使用阶逻辑中的所有公理。证明系统包含系列的公理及规则，这些公理及规则范围协议行为公理拥有公理及普通规则个部分，也可使用阶逻辑中的所有公理。关键词移动网络路由协议路由安全威胁模型中图分类号文献标识码文章编号引言移动网络是没有固定基础通用可复合模型与协议复合逻辑......”。

6、“.....协议复合逻辑对安全的本质性定位为公式，公理和规则证明协议能否满足符号安全准则，其中的协议消息为符号术语，将密码学原语看作执行有研究，该技术迅速扩展至民用系统中，具有非常广阔的应用前景。参考文献李金鹏，吕光宏，王立平，薛强移动网络安全路由协议研究计算机技术与发展，柯敏毅，魏树婧，肖鹏移动网络路由安全问题研究网络安全技术与应用，。算能力个方面分析其攻击强度。其主要目标位确定攻击者攻陷路由协议所需的最低攻击能力，使比较不同安全路由协议间的安全性成为可能。同时......”。

7、“.....此外，避免协议设计人员试图预防在路由层无法消除的攻击，为设计可证击者控制的攻陷节点间共享协议运行中捕获的信息参数化攻击模型与攻击模型存在着比较相似的问题自适应攻击模型为解决上述问题，假设攻击者控制的攻陷节点的通信能力是自由而不受约束的，这种假设对于路由协议安全分析是不合理的，任何符号运行的操作，也即攻击者必须拥有正确的密钥信息方能进行各种密码学操作。假设协议所用的密码学算法时理想化状态下分析协议的安全性，可以对协议的分析进行简化且方便进行自动化分析......”。

8、“.....在对路由协议的设计和形式化分析时，要么采用对安全协议进行直接分析的方法，要么就移动网络的特殊性来扩展形式化分析方法。已有的安全路由协议形式化分析方法主要包括计算模型方法和符号模型方法。目前较为流行的分析协议安全性的方法包义为协议是否可以实现理想函数，通过理想函数捕获协议安全需求，通用可复合定理保证协议在异步并发网络环境中的安全。模型中的协议消息为串，用函数表示协议所使用的密码学原语，攻击者为任意概率多项时间算法......”。

9、“.....所以分析路由协议的安全属性可以通过密码学安全协议的形式化分析方法。不过，由于这些分析设计方法本身所存在的不足以及采用不合理的安全威胁模型，造成安全缺陷的存在。参与方在协议运行的时候输出至纸带网络安全路由协议研究计算机技术与发展，柯敏毅，魏树婧，肖鹏移动网络路由安全问题研究网络安全技术与应用，。安全路由协议分析方法为便于分析路由协议的安全属性，在对路由协议的设计和形式化分析时，要么采用对安全协议进由协议间的安全性成为可能。同时，攻击者能够共享协议运行时所捕获的信息。此外......”。