Dissertation > Excellent graduate degree dissertation topics show

A Method of Covert Channel Detection Based on Static Analysis

Author: WangYun
Tutor: LiuJian
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Covert Channel Information Flow Rule Override Rule Derivation Rule Information Flow Graph
CLC: TP274
Type: Master's thesis
Year: 2010
Downloads: 21
Quote: 1
Read: Download Dissertation

Abstract


Based on summarizing covert channel’s analysis methods and current research background, the paper has resolved the problem that the work of information flow analysis in system source code is automated; and organized the information flows using a graph structure called an information flow graph, provided the research idea that implemented a covert channel detection framework based on static analysis.Firstly, the paper discusses the definition of covert channel, and analyses the pros and cons of existing covert channel methods, according to them, the paper presents the design idea and scheme of the covert channel detection framework, which includes information flow generation and covert channel detection. Secondly, in order to obtain the information flows in source code, C/C++ statements are divided into two kinds of simple statements and compound statements, and information flow rules are defined for each kind. At the same time, as C/C++ language flow-sensitive character, the paper also defines flow-sensitive statement information flow override rule and derivation rule, as a complement to the information flow rules. Finally, the paper presents three algorithms:the first one can be used to get the information flows, the second one can be used to filter the information flows, and the last one is used to construct the information flow graph. With the help of the properties of covert channel and information flow graph, the paper proposes the covert channel reverse iteration detection algorithm.With the help of this framework, covert channels in source code can be detected more accuracy.

Related Dissertations

  1. Network covert channel detection technology,TP393.08
  2. Multi-level secure database Covert Channel,TP311.13
  3. HMM network covert channel detection model based study,TP393.08
  4. Research on Survival Secure DBMS and Its Key Technologies,TP311.13
  5. Network protocol steganography detection technology,TP393.08
  6. Based on the network delay characteristics of covert channel,TP393.08
  7. A Singularly Perturbed Nonlinear Boundary Value Problem Arising in General Riemann Problem,O175.1
  8. Research on HIDS Based on System Kernel,TP393.08
  9. Secure operating system in the Covert Channel,TP316
  10. Research in Security of the Real-Time Database,TP311.13
  11. Research and Implementation of Concurrency Controls in MLS/DBMS,TP311.13
  12. Research and Implementation of User-Defined Data Type of the Secure DBMS,TP311.13
  13. Model-based research network hidden channel,TP393.08
  14. SVM based on information entropy of ICMP covert channel detection research,TP393.08
  15. Based on Decision Tree Network Covert Channel Detection Model,TP393.08
  16. Network covert channel,TP393.08
  17. Covert Communication Techniques Based on Network Flow,TP393.08
  18. Density-based clustering of time -in network design and hidden channel detection technology,TP393.08
  19. Based on clustering and differentiation of network time covert channel detection method,TP393.08
  20. Network covert channel time and Interference Technology,TP393.08
  21. Research on Covert Channel Analysis and Related Techniques in Secure Database Systems,TP311.13

CLC: > Industrial Technology > Automation technology,computer technology > Automation technology and equipment > Automation systems > Data processing, data processing system
© 2012 www.DissertationTopic.Net  Mobile