OLSR协议的AVISPA分析研究

协议的安全目标分为认证性、非否认性、可追究性、公平性四种,其中,认证性应用最为广泛和重要,是网络安全性的基础。分析了先应式链路状态路由协议OLSR及其安性,并采用AVISPA工具对OLSR协议的既定目标进行分析验证,验证结果表明,该设计是安全的。

Research and Analysis on OLSR of AVISPA

The security goals of Protocol are divided into four kinds,authentication,non-repudiation,non-repudiation,accountability,fairness.In which the application of authentication is widely used and most inportant.It is the basis of network security.In this paper we analyse security problems of the Proactive Routing Protocol of link-state .Then the tool of AVISPA to is introduced to analyse and verify the security of established goals. The results show that the design is safe.