Dissertation > Excellent graduate degree dissertation topics show

Formal model checking based authentication protocol

Author: GuoZhaoYi
Tutor: LeiHang
School: University of Electronic Science and Technology
Course: Computer System Architecture
Keywords: SPIN Model Checking protocol verification AVISPA
CLC: TP393.08
Type: Master's thesis
Year: 2012
Downloads: 125
Quote: 0
Read: Download Dissertation

Abstract


With the development of society, science and information technology, thecomputer network and the distributed system are more and more widely used, in whichthe cryptographic protocol is more and more widely focused on, their reliability andsafety requirements are becoming higher and higher, and any unforeseen errors willhave extremely serious consequences. Model checking is a way to ensure the protocolproved to be correct at the time of the design of the system, it is a kind of powerfulautomatic verification technolgy which can be found right or wrong in the design. Thisis a detection of the fundamental principles of the state migration system to representthe behavior of the system, to model or temporal logic to describe the nature of thesystem. If the system has the desired properties, and whether the State transition systemis a model of a formula, which converted to a mathematical formula. In this way, thematter of the safety of the cryptographic protocol turns to be a mathematical problem.By system model building, built to detect whether the nature of the expected meeting ofmodel, if not met, will render out examples to the contrary.This article mainly is the study of formal analysis to the protocol Leap series andits improved protocol Leap+A and Leap+B with the systerm of several verification toolsSpin and Avispa; Find out the attack to the protocol and existing holes with Promelaand HLPSL modeling; In the meantime, describle and testify the constructure, priciplesand operating processes of above main itms; Analyse, research and improve the projectof solving the existing problems.

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. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  4. Software Testing and Reliability Computing Based on Model Rebuilding,TP311.53
  5. Design and Implementation Automatic Analyzer for Security Protocol,TP393.08
  6. Research on Authentication Method in Heterogeneous Wireless Network,TN92
  7. Buffer Overflow Vulnerabilities Detection System Based on Constraint System Model,TP393.08
  8. Application of New Magnetic Resonance Techniques in Soft-Tissue Hemangiomas and Vascular Malformations,R445.2
  9. Research on Model Checking Algorithms of Ambients Calculi Systems,TP274
  10. A New Technology for the Detection of Biological Free Radicals,R318.0
  11. The Monitoring of Farmland Soil Moisture and Water Management System for Cotton on Drip Irrigation under Mulch,S562
  12. Studies on the Dynamic Simulation Models for Growth of Super Hybrid Rice Seedings,S511
  13. Friction power based on the spin temperature of the ceramic ball bearings,TH133.3
  14. Studies of NiCuZn Ferrite Powders and Films Prepared by Sol-Gel Method,TM277
  15. Study on Sol-gel Spin Coating Preparation and Properties of LiNi0.5Mn0.5O2 Cathode Thin-films,O614.111
  16. Preparation and Characterization of Polystyrene Nano-films,TB383.1
  17. Solidification Behaviors of Fe-Sn Monotetic Alloys Imposed by a High Magnetic Field,TG111.4
  18. Forecasting Model and Applied Research of Based on Time Series ARCH,O211.61
  19. Generate THz of the Nonlinear Optical and Set up Imaging is Studied,O441
  20. Monte Carlo Simulation on the Magnetic Properties of a Honeycomb Monolayer Film,O482.5
  21. Thermal Entanglement in Heisenberg Spin Chain and Its Application in the Context of Quantum Information,O413.1

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