【作者】 戴梅； 孙国强；

【Author】 Dai Mei Sun Guoqiang (School of Computer and electical engineering University of Shanghai for Science And Technology Shanghai 200093 China)

【机构】 上海理工大学计算机与电气工程学院；

【摘要】 根据TCSEC的规定,在B2及以上安全级别的安全系统设计和开发过程中,必须进行隐通道分析。隐通道分析是高等级安全操作系统设计中众所周知的难题,迄今缺乏坚实的理论基础与系统的分析方法。标识与处理隐通道是TCSEC对B2及以上级别安全产品的关键评估要求。本文简要介绍了隐通道的概念与分类,并详细给出了隐通道标识方法中共享资源矩阵方法在描述性顶层规范级中的应用。更多还原

【Abstract】 When designing and developing a secure system at or above B2,it needs covert channel analysis by TCSEC.Covert channel analysis is a well-known problem in the design of secure operating system with high levels,so far it is lack of solid theoretical foundation and system analysis.Recognizing and dealing with covert channel is the key requirement of TCSEC to evaluate the B2 or above products.This paper introduces briefly the concepts and classification of covert channel,and proposes the application of Shared Resource Matrix method in the DTLS in detail.更多还原