Dissertation > Excellent graduate degree dissertation topics show

Analysis and Research on the Security Protocols Based on Provable Security

Author: ZhouJing
Tutor: ZhouQingLei
School: Zhengzhou University
Course: Computer Software and Theory
Keywords: provable security security protocol model Universally Composable
CLC: TN918.1
Type: Master's thesis
Year: 2013
Downloads: 29
Quote: 0
Read: Download Dissertation

Abstract


Currently, network communications are becoming increasingly closer to people’s everyday life. Though it brings convenience to people, however communication security problems stand out. How to solve these problems, which is decided largely by good security protocols which can provide safeguard for communications, In currently research field of security protocol, the most popular method is formal method. Two areas has been evolved into by this method,one is symbol theory, the other one is provable security theory.Provable security theory which is a method developed in recent years and is based on computational complexity. In contrast to symbol theory, this method analyzes, verifies and designs security protocols from the point of studying cryptosystem. The security of the protocol is more realistic,more believable,because the security of the protocols is quantified by this method.This article is mainly based on provable security theory, the key point of the research is the analytic methods of computing theory for security protocols and the purpose of the research is solving the security problems in realistic protocols by using these methods and the theory’s ideology. The following jobs are mainly completed:Firstly,a new attack to TLS protocol which is brought by the defects existing in RSA signature algorithm is found in corresponding attack models. This attack of this kind is hardly found by symbol method.Secondly,a new kind of RFID search protocol whose tags only need lower cost is designed, and the security of the protocol is proved through the formal method under UC model.

Related Dissertations

  1. Research on Magnetic Field Sensor Based on GMI Effect and Geomagnetic Matching Algorithm,P318
  2. Experimental Study on Pyrolysis and Combustion Characteristics of Paint and Tar Based Single Hazardous Wastes,X705
  3. Powered Activited Carbon-UF for Treating Micro-polluted Surface Water,X703
  4. Design and Research on Stabilization Loop of Gyro Stabilized Pod Control System,V241.5
  5. Satellite Attitude Control Methods Using Only Magnetorquers,V448.222
  6. Investigation of Turbine S2 Stream Surface Direct Problem Aerodynamic Optimization Design,V235.11
  7. Temperature Drift Modeling and Compensation of Fiber-Optic Gyroscopes,V241.5
  8. Research on Models and Simulation of Electromagnetic Railgun Exterior Trajectory,TJ399
  9. The Technological Parameter Analysis and Influencing Factor Research on RUV4 Automobile Ignition Coils,U463.64
  10. The Study of Control Algorithm for Automotive Power Window Based on Lin Bus,U463.6
  11. The Research of Residential Community Design of Vanke Model,TU984.12
  12. The Equivalent Circuit Model of Radial Vibration Mode Piezoelectric Transformer and Its Application,TM406
  13. Research on Compensation of Hysteresis in Piezoceramic Actuators,TM282
  14. The Design and Accomplishment of Simulition Platform for Voltage Clamp Experiment Based on Cell Electrophysiological Model,R318.0
  15. A Study of the Application of TBLT to English Teaching in Rural Middle School,H319
  16. Quantitative evaluation model based on information entropy of the classroom observation,G632.4
  17. High school politics,the new curriculum reform classroom teaching model to integrate exploration,G633.2
  18. Research and Implement of SDO Model in University Enroll System Based on SOA,G647
  19. Multiple ANN/HMM Hybrid Used in Speech Recognition,TN912.34
  20. Superresolution of Hyperspectral Images Based on Spatial-Spectral Information Coordination,TN911.73
  21. Rate-distortion Optimization Based Rate Control,TN919.81

CLC: > Industrial Technology > Radio electronics, telecommunications technology > Communicate > Confidentiality of communications and communications security > Theory
© 2012 www.DissertationTopic.Net  Mobile