Dissertation > Excellent graduate degree dissertation topics show

Research and Implementation of the Detection Method for Tainted Data and Deadlock

Author: PengPingLei
Tutor: ChenJunLiang
School: Beijing University of Posts and Telecommunications
Course: Computer Science and Technology
Keywords: tainted data deadlock static analysis dataflow analysis alias analysis Klocwork
CLC: TP393.08
Type: Master's thesis
Year: 2010
Downloads: 10
Quote: 0
Read: Download Dissertation

Abstract


With widespread use of web applications, the problem of networking security has been attached big importance by the public, and it has become a new research field on how to detect security vulnerabilities involved in software, and how to reduce the risk of software.Tainted data (TD) and deadlock are two typical types of security vulnerabilities. To address these problems, this thesis does some research on them, and describes the design and implementation of the detection of TD and deadlock in detail.The main content and contribution of this paper are list below. Firstly, this thesis summarizes the advantages and disadvantages of existing approaches on detection of TD and deadlock. The existing static detection methods on TD are mainly path-insensitive, so it may cause a large amount of false positives. While, current detection of deadlock could not directly solve this complex problem effectively. Secondly, this thesis refines the existing methods. A detection system for TD, which is path-sensitive and context-sensitive, is designed and implemented, and a new framework of deadlock’s detection is designed as well. This framework divides the complex problem of deadlock detection into four sub-problems, which can be directly solved by existing static analysis technologies, including reachable analysis, alias analysis, parallel analysis and gatelock analysis. Finally, this thesis compares the testing results with another static analysis tool--Klocwork. According to the experiment results, we found that our algorithm could reduce the number of false positives and false negatives more effectively than Klocwork.In conclusion, the achievement of our research results enriches the approaches on how to detect deadlock, and has a certain theoretical and practical importance. In addition, this thesis provides an effective approach for TD detection.

Related Dissertations

  1. The Research of Japanese Primary Music Textbooks,G623.71
  2. Analysis and Evaluation of Some Heavy Truck Drive Axle Housing’s Static and Dynamic Characteristics,U463.218.5
  3. A Study on Basic Legal Issues of the Company Judicial Dissolution Lawsuit,D922.291.91
  4. AVIC International Plaza Building, structural stability analysis,TU973.2
  5. Based on Multi-granularity dependency graph change impact analysis method,TP311.53
  6. Vehicle-mounted snubbing workover rig derrick Design and analysis,TE935
  7. Judicial Dissolution Legal Issues,D922.291.91
  8. Based on the finite element analysis to improve the design of medium-duty truck chassis and Test Research,U463.32
  9. Magnet contactor design and analysis of static and dynamic characteristics,TM572.1
  10. Diversification of ownership of the object based on the nature of software trustworthiness,TP311.52
  11. Our Company Deadlock, Judicial Remedy the Dilemma That Face and Countemeasure,D922.291.91
  12. Vehicles and branch steel box arch bridge static and dynamic computational analysis and experimental space,U441
  13. Research on Company Dissolution Litigation in the State of Corporation Deadlock,D922.291.91
  14. Research on Protecting the Interests of Minority Shareholders in Company Deadlock,D922.291.91
  15. The Research of Dynamic and Static Characteristic of Resin Concrete Machine Bed,TG502.3
  16. Research on the Square RAM Deformation Processing and Compensation,TG548
  17. The Structural Design and Experimental Research on Kilometer Pitch Carbon Fiber Roll-up System,TQ342.742
  18. The Research on the Efficient Focusing Technique of Micro-thrust-STP,TK513
  19. Research of the Key Technologies of PC200 Slipforming Curb Machine,U415.5
  20. Research on Corporate Income Tax Evasion Factors and Governance Based on the A-S Model,F812.42
  21. Statically and Dynamical Characteristics Analysis on Two Stands Reversible Cold Rolling Mill,TG333

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