Dissertation > Excellent graduate degree dissertation topics show

Automatic Analysis of Covert Channel Based on Source Codes of Linux Kernel

Author: ZhangYuFeng
Tutor: DiGaoShou
School: Beijing Jiaotong University
Course: Computer Science and Technology
Keywords: secure operating system covert channel analysis information flow tree shared resource matrix method
CLC: TP309
Type: Master's thesis
Year: 2009
Downloads: 102
Quote: 2
Read: Download Dissertation

Abstract


In the social process of information-based,information has become an important resource for social development.And information security in information society will play a very important role.Operating system security is the fundamental issue to protect the security of information systems.In recent years,researching on secure operating systems is heated gradually.And effective covert channel analysis and processing mechanisms are important parts to ensure the operating system security.Building a operating system of high security level is also a bottleneck problem.This paper is to analyze covert channel in source codes of Linux kernel.Based on the summary of the existing analysis methods of covert channel,the main analysis combined with the information flow analysis method,shared resources matrix method and covert flow tree analysis method.The design proposal and prototype of covert channel identification and analysis tools are summarized and given.Specifically,the first step,source codes of Linux kernel are traversed and scanned to separate the shared variables and function names,and the result of the word segmentation is preserved;the second step,rules of information flow statements are formulated and information flow tree is constructed according to the corresponding rules;the third step,information flow tree should be simplified and result is preserved in the information flow diagram;the fourth step,shared resource matrix is constructed and transitive closure is computed in order to identify potential covert channels.Finally,Source codes of Linux2.4.18 kernel version are selected as the analysis object and potential covert channels are identified by automatic analysis of covert channel tool in order to verify the validity of the design tool.At the same time,parts of potential covert channels are confirmed factually.Furthermore,scene analysis of the potential covert channel is made and recommendations are given.In the end of the paper,existing problems of the research process are summed up and the directions of future efforts are forecasted.

Related Dissertations

  1. Role-based access control mechanism independent Research and Implementation,TP316
  2. Study on Analysis Tools for SELinux Security Policy,TP393.08
  3. Method for Analyzing Security Policies of SELinux,TP393.08
  4. Research and design of security audit subsystem of the operating system,TP393.08
  5. Design and Application Research of Secure Operating System Hybrid Multiple Policy Model,TP393.08
  6. Access control policy language research and design,TP393.08
  7. Study on Tools of SELinux Policy Configuration,TP393.08
  8. Study on Key Issues of Covert Channels Analysis Based on Source Codes,TP309
  9. Simple operating system security research and design,TP393.08
  10. Linux security enhancement technology research and,TP316.81
  11. Secure Operating System Based on LINUX,TP316.81
  12. Embedded operating system information security research and implementation of nuclear technology,TP316
  13. A Review of Secure Operating System and Its Realizing Technology,TP316
  14. Research and Design of the Audit System in a 4～(th) Security Operating System,TP316
  15. Virtual Threads Architecture Basd on Network Gateway Operating System,TP316
  16. Research on Encrypted File System and Trusted Recovery of Secure Operating System,TP309
  17. Research and Implementation for the Covert Channel Identification Tool Based on Source Code,TP311.11
  18. Research and Implementation on Trusted Authorization Techniques in Secure Operating System,TP316
  19. Research of Access Control Technology on Role-Based Authorization,TP393.08
  20. Secure operating system in the Covert Channel,TP316

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