隐通道标识方法的研究

摘要：

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

关键词： 计算机软件 操作系统 隐通道标识 资源矩阵

作者: 戴梅 孙国强

作者单位: 上海理工大学计算机与电气工程学院 上海 200093

会议类型: 国内会议

会议名称: 第19届中国过程控制会议

会议地点: 北京

会议语种:中文

页码: 443-445

在线出版日期: 2008-07-22（万方平台首次上网日期，不代表论文的发表时间）