Research on Covert Channel Analysis in Tuling SecOS2.0/4

LU Lianhao,PING Lingdi,PAN Xuezeng
DOI: https://doi.org/10.3969/j.issn.1000-3428.2006.21.054
2006-01-01
Abstract:The research of covert channel analysis on Tuling SecOS2.0/4 is reported.A new covert channel identification method--modified semantic information flow method is proposed.It has less workload,can directly analyze the source code and exclude the false result,also helps the covert channel handling.It uses this method to identify the cover channels of the Tuling SecOS,computes the bandwidths accurately,and handles the covert channels according to different security policies.The result shows conform to the requirement of Level 4 security operating system in relevant national standards.
What problem does this paper attempt to address?