Dissertation > Excellent graduate degree dissertation topics show

Research on the Roaming Authentication Protocol of the Mobile Network in the Formalization Way

Author: WengYanQin
Tutor: ShiShuDong
School: Hubei Normal University,
Course: Applied Mathematics
Keywords: roaming agreements Formal Analysis the BAN logic Kailar logic the String Space
CLC: TN929.5
Type: Master's thesis
Year: 2012
Downloads: 25
Quote: 0
Read: Download Dissertation

Abstract


The Implementation of roaming in mobile network environments can not onlybring a lot of convenience for those users who need to move between different areasdue to work or live, but also provide good benefits for service providers.To allowsusers to enjoy network services anytime and anywhere,and to ensure the security oftheir personal information, there must be a certain amount of secure roamingagreements as technical supports.A large number of research scholars have proposedsome of roaming programs in the joint efforts,but there are more or less someshortcomings in terms of security.This text begins with the background to the studyof authentication protocol, summarizes the problems of traditional authenticationprotocol such as no anonymity and no flexiblity.According to the actual demand, thispaper argues on the significance of mobile network roaming,and compared theadvantages and disadvantages between Certificate-based and Identity-basedauthentication study, by analyzing and generalizing the results of previousstudies.After the Analysis on the several commonly used protocol such as mobile IPprotocol,IEEE802.11, IAPP, and identity-based anonymous roaming wirelessauthentication protocol,this paper synthesizes its advantages and disadvantages,andproposes a new mobile network roaming authentication protocol SRAK,whichgathers together the features of certificate Certificate-based and Identity-basedauthentication.In addition, this paper has a research on the formal methods forsecurity protocol analysis and design, and makes focus on the BAN logic symboltheoretical method,which was used to inprove Aziz-Diffie protocol. It made Kailarlogic Extended and the SVO logic applied, and combined with certification testingtheory and relevance theory, it also carried out some research on the formal analysisof the string space method,which is applied to the analysis of OR, found that existsvulnerability,improving it.This article analyzes the new agreement SRAK by meansof Kailar logic theory,and prove that the protocol is safe and reliable.

Related Dissertations

  1. Research on Proxy Electronic Voting Protocol,TP399-C2
  2. Pervasive systems model of privacy protection,TP393.08
  3. An improved SET protocol and formal analysis of safety studies,TP393.08
  4. And type of defects in anti-replay attack authentication protocol design and analysis,TP393.08
  5. Study of Off-line Authentication Model for Mobile Electronic Commerce,F713.36
  6. A both BB and BC 's e-commerce security model and its application in the actual case,TP393.08
  7. Research and Implementation of WAPI Authentication Mechanism,TP393.08
  8. Study on Formal Analysis of Security Protocol Based on Strand Space Model,TP393.8
  9. Research on Key Management of Secure Multicast,TP393.08
  10. Study of the Secure Access Control Method of Wireless Local Area Network (WLAN),TN918
  11. Two Authentication Protocols and Their Security Analysis on the Networked Manufacturing Platform,TP393.08
  12. Security Protocol Analysis and Verification Based on Model Checker SPIN,TP393.08
  13. The Design and Implementation of Bluetooth security protocol,TN925
  14. cdma2000 system user identity authentication protocol and Implementation,TN929.533
  15. Logical Improvement and certain security analysis of cryptographic protocols,TN918
  16. Study and Implementation on Atomicity of e-commerce Protocol Base on Symbolic Model Checking,TP393.04
  17. Research on Formal Analysis of Electronic Commerce Security Protocol,TP393.08
  18. The Analysis of Cryptographic Protocols Based on Petri Nets,TN918.1
  19. The Study and Design on Secure Micro-Payment System,TP311.52
  20. Study on Compound Predicate-complement Structure for Chinese Information Processing,H146
  21. Management and Discovery Research of the Semantic Web Services Based on Concept Lattice,TP393.09

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