Dissertation > Excellent graduate degree dissertation topics show

Research on Provably Security Model for AKE Protocol

Author: ZuoHong
Tutor: ZhouFuCai
School: Northeastern University
Course: Computer Software and Theory
Keywords: authenticated key exchange protocol authentication provably security random oracle model adversary
CLC: TP309
Type: Master's thesis
Year: 2009
Downloads: 12
Quote: 0
Read: Download Dissertation

Abstract


In the middle of 1990’s, Bellare and Rogaway first introduced provably security theory into studying security protocols, which left drawbacks of complexity and high cost since it was first based on the standard model. Since Bellare and Rogaway had proposed random oracle model (ROM) methodology, and brought this idea into formal analysis, many scholars took use of ROM to present the security of some given protocols. There is a rapidly growing appreciation of provably security in practice, which was known only as a pure theory in the past. Provably security is of important theoretical significance and application value.Research of this paper is mainly on provably security model of AKE. People’s attention has been drawn by two merits of AKE protocols. One is to agree on a common session key; the other is to realize mutual authentication.The main contents of this paper are as follows:(1)Present a Weil pairing-based four-party PAKE protocol,4PAKE.(2)Analyse and discuss the security of 4PAKE in the improved BPR2000 model. By formal description of the capabilities of adversary, and the security objectives, the success probability of adversary in attacking 4PAKE is negligible through the adoption of "hybrid" technique and game theory; in other words,4PAKE is proved secure.(3)Propose a new adversary model for AKE protocols in the light of the incompletion of current mainstream adversary model. The potential attack type of the adversary is enriched, and the attack scene is also taken more consideration, and accordingly a strong definition of security is given. In the new model, the security defects of 4PAKE protocol are found, and the amendments are proposed, a new improved 4PAKE agreement is is formed upon the modifications. It is of smaller key-scale and obvious advantages in computing speed and communication cost than other similar protocols.Study results of this paper indicate that new adversary model composing of the definition of strong security for the design and analysis of AKE protocols has a broader application range compared to the other models.

Related Dissertations

  1. Research on Transparent Security of JPEG Image,TP391.41
  2. Study on the Change of the Subject Matter of the Civil Case,D925.1
  3. Authentication Based on Trusted Computing Research and Implementation,TP393.08
  4. On the System of Witnesses to Testify in Court in Civil Procedure in China,D925.1
  5. Based on Web Services Shanghai mobile unified account management platform,TP311.52
  6. Research and Application on Secure SSO Technology Based on CAS Protocol,TP393.08
  7. Design and Realization of Security Email System Based on PKI and USBKEY Technology,TP393.098
  8. Admission Control Technology on End Nodes in 802.1X,TP393.08
  9. Research and Implementation on Access Control for Intranet Terminal Based on Policy,TP393.08
  10. Research on Decision Tree Web Application Authentication of Individual,TP393.02
  11. CAS-based identity management system design Petrochemical Institute,TP315
  12. Chaotic systems based digital image watermarking algorithm,TP309.7
  13. Distributed File System centralized security management server design and implementation,TP316.4
  14. J2EE-based IPTV Management System Design and Implementation,TP311.52
  15. Identity-Based Authentication System Research and Implementation,TN918.1
  16. Internet-based personalized health information customized system build,TP311.52
  17. Design and Implementation of a Novel Graphical Password Strategy Based on Image-Redrawing,TP391.41
  18. Design and Analysis of Certificateless Signature and Signcryption Schemes,TN918.1
  19. Design and Implementation of Policy System Integrated Authentication and Authorization System,TP311.52
  20. Digital watermarking for image authentication algorithm,TP309.7
  21. J2EE-based station group management platform design and implementation,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > General issues > Security and confidentiality
© 2012 www.DissertationTopic.Net  Mobile