Covert channel analysis on ANSHENG secure operating system

Ruan Jian Xue Bao/Journal of Software

Volumn 15, Issue 9, 2004, Pages 1385-1392

  Qing, Si Han ^a,b,c   Zhu, Ji Feng ^a,b,c  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^b INSTITUTE OF SOFTWARE   (China)

^c UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

ANSHENG secure operating system; Backward tracking approach; Covert channel analysis; Information flow; Storage channel

Indexed keywords

CALCULATIONS; COMMUNICATION CHANNELS (INFORMATION THEORY); SECURITY OF DATA;

ANSHENG SECURE OPERATING SYSTEMS; BACKWARD TRACKING APPROACHES; BANDWIDTH COMPUTATION; COVERT CHANNEL ANALYSIS; INFORMATION FLOW; LINUX OPERATING SYSTEMS; STORAGE CHANNELS;

COMPUTER OPERATING SYSTEMS;

EID: 8644251330     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Lampson BW. A note on the confinement problem. CACM, 1973, 16(10): 613-615.
2. Tsai CR, Gligor VD, Chandersekaran CS. A formal method for the identification of covert storage channels in source code. IEEE Trans. on Software Engineering, 1990, 16(6): 569-580.
3. U.S. Department of Defense. Trusted Computer System Evaluation Criteria. DoD 5200.28-STD, 1985.
4. General Administration of Quality Supervision, Inspection and Quarantine of the People's Republic of China. Classified criteria for security protection of computer information system. GB18859-1999, 1999 (in Chinese).
5. Qing SH, Ji QG. Formal model design for secure operating systems. In: ITI 1st Int'l Conf. on Information and Communications Technology. 2003.
6. Kemmerer RA. Shared resource matrix methodology: An approach to identifying storage and timing channels. ACM Trans. on Computer Systems, 1983, 1(3): 256-277.
7. Porras PA, Kemmerer RA. Covert flow trees: A technique for identifying and analyzing covert storage channels. In: Proc. of the 1991 IEEE Computer Society Symp. on Research in Security and Privacy. 1991. 36-51.
8. McHugh J. Covert channel analysis: A chapter of the handbook for the computer security certification of trusted system. NRL Technical Memorandum 5540:062A, 1995.
9. Kemmerer RA, Taylor T. A modular covert channel analysis methodology for trusted DG/UX. In: Proc. of the 12th Annual Computer Security Applications Conf. Washington: IEEE Computer Society, 1996. 224-235.
10. Millen JK. Finite-State noiseless covert channels. In: Proc. of the Computer Security Foundations Workshop. Franconia: IEEE Computer Society, 1989. 81-85.
11. Tsai CR, Gligor VD. A bandwidth computation model for covert storage channels and its applications. In: Proc. of the IEEE Symp. on Security and Privacy. OakLand: IEEE Computer Society, 1988. 108-121.
12. Qing SH, Liu WQ, Weng HZ, Liu HF. Operation System Security. Beijing: Tsinghua University Press, 2004 (in Chinese).
13. Zhu JF. Covert channels analysis for the ANSHENG operating system. Technical Report, Beijing: Engineering Research Center for Information Security Technology, the Chinese Academy of Sciences, 2003 (in Chinese).