Dissertation > Excellent graduate degree dissertation topics show

Research and Application on Formal Analysis of Security Protocol of Mobile Ad Hoc Network

Author: LiCangYuan
Tutor: ShenMingYu
School: Hefei University of Technology
Course: Computer Software and Theory
Keywords: Security protocol Formal Analysis Methods Strand space model Mobile Ad Hoc Networks DSR protocol
CLC: TN929.5
Type: Master's thesis
Year: 2010
Downloads: 44
Quote: 0
Read: Download Dissertation

Abstract


With the wide application of computer network, people are increasingly dependent on the network at the same time, network security issues are becoming increasingly important. Especially in recent years, emerging mobile Ad Hoc network rapid development due to the use of a more open network architecture and transmission media, any personnel within the network coverage can be sent or received information packets, its network security faced a more serious threat. Secure routing protocol is the basis for building mobile Ad Hoc network security environment, security plays a crucial role in the security of the entire network environment. The design and analysis of secure routing protocols has become a very important research topic, but also a challenging task. Because the traditional network security technology can not be applied directly to the Mobile Ad Hoc Networks, and the surface is secure routing protocol may contain an attacker can take advantage of the subtle shortcomings, a large number of facts show that there are many secure routing protocol even after safety experts carefully there are still gaps in the analysis and design. In order to guarantee the security of the secure routing protocol, the researchers propose to use a formal analysis methods to guide the design and analysis of routing protocols of Mobile Ad Hoc Network Security. Strand space model is the the typical formal analysis method to the design of security protocols and analysis has brought great changes, strand space model to solve the security problem of secure routing protocols for Mobile Ad Hoc Networks . This thesis describes the knowledge of security protocols and formal analysis methods, on the basis of this theory, the later focuses on strand space model formalized analysis methods. Strand space model, in-depth analysis of research and extension, and the use of a simple application examples strand space model has the advantage of the security analysis of security protocols: simple, clear and effective. Finally, secure routing protocol for mobile Ad Hoc network and its formal analysis methods were analyzed. Attack instance to analyze the existing mobile Ad Hoc network security DSR Routing Protocol (SRP secure routing protocols and Ariadne secure routing protocol) security vulnerabilities exist, on this basis, the new DSR secure routing protocol model-Ariadne-S model, and use the strand space model formal analysis to prove the security of the routing protocol model.

Related Dissertations

  1. Based power control MAC protocol for mobile Ad Hoc network research,TN929.5
  2. Dynamic network coding based on a high-speed multi-path multicast MANET technology research,TN929.5
  3. Design and Implementation of Secure Fast Handover System in WLANs,TN925.93
  4. Research on Automaitc Analysis of Security Protocols Based on Strand Space Model,TP393.08
  5. Extension and Application of Formal Verification Methods Based on Strand Space Model,TP393.08
  6. A Method for Formal Analysis of E-commerce Security Protocol,TP393.08
  7. Study on Routing Algorithm in Mobile Self-Organized Network,TN929.5
  8. Research on Intrusion Detection System in Mobile Ad Hoc Network,TN929.5
  9. Research on Formal Analysis Models and Tools of Secure Network Protocols Based on Strand Space,TP393.08
  10. Proactive P2P worm propagation model and containment technology research,TP393.08
  11. Analysis and Verification of Security Protocol Based on Strand Space,TP393.08
  12. Research on Formal Analysis Methods of Security Protocols Based on Strand Space Model,TP393.08
  13. Research of Security Certification on RFID and Its Application,TP393.08
  14. Research on Energy-Balanced Routing Technologies in Mobile Ad Hoc Networks,TN929.5
  15. Impact of Community Based and Random Way-point Mobility Models on TCP Performance in Mobile Ad Hoc Networks,TN929.5
  16. Online Trading payment system design,TP393.08
  17. Research on Routing Protocols for Mobile Ad Hoc Networks,TN929.5
  18. Consumption based on energy balance AODV Routing,TN929.5
  19. Mobile Ad Hoc Network Topology Discovery Research and Implementation,TN929.5
  20. DTS-01 Data Transmission System and DSR Routing Protocol,TN929.5

CLC: > Industrial Technology > Radio electronics, telecommunications technology > Wireless communications > Mobile Communications
© 2012 www.DissertationTopic.Net  Mobile