论文部分内容阅读
扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹概念,在运行迹上定义了谓词公式和模态公式的语义.分析协议安全属性时,PCL-RP模型证明系统中的公理和规则保证无需明确推理攻击者的行为,这种方法能够简化分析过程,提高安全分析的可信度.另外,提出了路由协议安全目标,设计了基于动态源路由协议DSR的安全路由协议LSDSR.最后,在PCL-RP模型中描述并分析了LSDSR的安全性,证明LSDSR能够满足安全目标.
Extended protocol combinatorial logic PCL, a symbolic model PCL-RP model for modeling mobile Ad Hoc networks and analyzing the security of routing protocols is proposed.PCL-RP model, in order to model the network node mobile and multi-hop wireless broadcast communication features, introduced The concept of adjacency between thread location and thread location defines the rules of broadcast protocol.The running trace concept is proposed in PCLRP model and the semantics of predicate formula and modal formula are defined on the trace of operation.When analyzing protocol security attributes, PCL-RP model proves The axioms and rules in the system ensure that the attacker’s behavior need not be explicitly inferred, and this method can simplify the analysis process and improve the credibility of the security analysis.In addition, the security goal of the routing protocol is proposed and the security based on dynamic source routing protocol DSR is designed Routing protocol LSDSR.Finally, the security of LSDSR is described and analyzed in the PCL-RP model to prove that LSDSR can meet the security goal.