Dissertation > Excellent graduate degree dissertation topics show

Building of Security Weaknesses Knowledge Base Based on Formal Modeling

Author: CaoYan
Tutor: LiXiaoHong
School: Tianjin University
Course: Applied Computer Technology
Keywords: Security flaws Defect structure Formal modeling Knowledge defects
CLC: TP393.09
Type: Master's thesis
Year: 2010
Downloads: 41
Quote: 0
Read: Download Dissertation

Abstract


With the growing popularity of web applications , the software reliability have become increasingly demanding . Software security is an important part of credibility . Nature of the problem is software security software security flaws being the attacker's malicious use . So for security flaws analysis and research is essential. In recent years, the field of software security flaws in security research has made ??some progress, but the design phase for the structural analysis of security flaws and formal modeling and rare. This paper mainly work includes : the design phase explored the causes of security flaws , the degree of harm and mitigate program and other attributes , to a certain level of abstraction for software defect structure analysis, given the structural nature of the definition of security flaws , which consists of two security flaws elements: the system behavior and security constraints , when the system is in violation of security constraints , the safety defects . Defect-based nature of the structure , a large number of specific security flaws to analyze , extract defect-related data types and operation types , refinement and safety restraint system behavior , given a particular formal model of security flaws . Security flaws in the design phase of the automatic detection and palliative basis . Defect-based formal model to build knowledge base security flaws and defects in design and implementation of knowledge management systems. Knowledge defect detection tools for various defects provide data support, including research group software engineering knowledge platform trusted software model of a unified security authentication modules. In this paper, the design phase nature of security flaws analyzes the structure proposed defect formal modeling methods, and based on this approach to build a software security flaws knowledge base. This work was supported by the computer automatically handle security flaw lay the foundation for software design to guide developers to build more secure software systems is of great significance .

Related Dissertations

  1. The Design of Diffractive Optical Element and Researches on Photon Transmission in Superlattice,O436.1
  2. Based on vertical search and semantic annotation database update method of security flaws,TP391.1
  3. Building and Management of Security Weakness Knowledge Database Based on Ontology,TP311.52
  4. Research on Classification of Software Security Defects and Database Construction,TP311.52
  5. Study on Defect Structures, Optical Properties and Stabilization of Fluorene-Based Conjugated Polymers,O631.3
  6. Study on Preparation, Structure and Photorefractive Properties of Indium, Ferrum and Cuprum Co-doped Lithium Niobate Crystals,O734
  7. Research and Implementation of BOM Multi-View in PDM,TH162
  8. Computer Simulation in Polymer Synthesis and Predication of Polymer Proprerties,O631
  9. Growth and Structure Analysis of Co-Doped Lithium Niobate with Mg, Mn and Fe,TB34
  10. Stucture and Photorefractive Properties in Mn, Mg Codoped LiNbO3 Crystals with Varied Mn Concenttration,O734.2
  11. Effect of Mg Concentration on Structtur and Properties of Mg, Mn Lithium Niobate,O77
  12. Generation and Formal Verification of Radio Block Center Data Streams Based on STATEMATE,U284.48
  13. HMIPv6 Protocol Formal Modeling and Research on Test Case Generation Method,TN915.04
  14. VV A formal process modeling and analysis method,TP311.52
  15. Ruthenium-based lithium niobate holographic storage properties,O734.1
  16. Study on Defect Structure and Dielectric Properties of Nd-doped SrTiO3-based Ceramics with High Energy Storage Density,TQ174.758
  17. Research on Object-Oriented Algebra Petri Net Model,TP301.1
  18. Research on Service-Oriented New Generation Network Architecture and Its Formal Modeling,TP393.02
  19. Research and Application of Performance Analysis, System Design and Network Interconnection in Control Network System,TP273.5
  20. Study of Growth and Optical Holographic Storage Properties of Scandium Series Doped Lithium Niobate Crystal,O734

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer applications > Computer network > General issues > The application of computer network
© 2012 www.DissertationTopic.Net  Mobile