Dissertation > Excellent graduate degree dissertation topics show

The Formal Verification and Improvement of 802.1X Protocol Based on SPIN

Author: ZhengQiang
Tutor: ZhangHuanHuan
School: East China University of Science and Technology
Course: Computer Software and Theory
Keywords: SPIN Formal Verification Promela 802.1X
CLC: TP393.08
Type: Master's thesis
Year: 2012
Downloads: 28
Quote: 0
Read: Download Dissertation

Abstract


With the rapid development of Internet, the security of network protocol become the focus of attention. As the main access authentication protocol, the importance of IEEE802.1X protocol’s security is obvious. Formal method is an important software and protocol analysis and verification tools. Formal method includes model checking, logic inference and theorem-proving. This paper uses the famous model checking tool SPIN (Simple Promela Interpreter) to check and verify IEEE 802.1X network protocol in order to find out the flaws of this protocol and give an improved solution to prevent these flaws.Firstly, IEEE802.1X network protocol with attacker is modeled by Promela formal language based on the reality. Secondly, LTL (Linear Temporal Logic) formula is used to describe the properties of IEEE802.1X. Finally, SPIN is used to verify this model and give an improved solution.

Related Dissertations

  1. LSGM electrolyte thin films and electrochemical properties of,TM911.4
  2. The Research of QingFangLian Group "Haier Brothers" Brand Marketing Strategy,F274
  3. E-commerce Protocol Analysis and Verification Based on SPIN Model Checking,TP311.52
  4. Admission Control Technology on End Nodes in 802.1X,TP393.08
  5. The Research and Disposition Design of Campus Network Traffic Management,TP393.18
  6. Research and Implementation of the Trusted Network Connection Authentication model Based on 802.1X,TP393.08
  7. Implement of Wirless College Network IPv4/IPv6 Authentication System Based EAP-TTLS,TP393.18
  8. Residential broadband network integrated authentication system design and implementation,TN915.06
  9. Research and Design of secure wireless video surveillance system,TP277
  10. The Analysis of Model Checking and Verification System of Network Security Protocol,TP393.08
  11. Network Access Control System Research and Implementation,TP393.08
  12. Design and Realization of Broadband Access Authentication System Based on Ethernet,TP393.08
  13. Research and Design Based on Double Identity Authentication for Campus Network of University,TP393.18
  14. Design and Implementation of Campus Network Authentication and Accounting System Based on Protocol 802.1X,TP393.18
  15. Design and Implement Based ARINC 659 Bus,TP336
  16. Research on Wired and Wireless Unified Access Authentication,TN915.6
  17. Securityoffasthandovermechanisminieee802.1xbased Adhocnetwork,TN929.5
  18. Research on AAA Mobility for the Next Generation,TN915.02
  19. Fabricating the Absorber Layer of CuInS2 Thin Film Solar Cells by Spin-coating Method,TM914.42
  20. Study on the Magnetism of Phase Separation and Magnetocaloric Effect of Rare-earth Manganites,O482.5
  21. \,O482.5

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer applications > Computer network > General issues > Computer Network Security
© 2012 www.DissertationTopic.Net  Mobile