论文部分内容阅读
标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求，也是国际标准CC评估EM5及以上系统的关键指标．本文基于安全操作系统SLinux的设计开发实践，给出一个安全系统隐蔽通道的标识方案、分析流程、分析结果，论述了隐蔽通道带宽计算的关键点，探讨了隐蔽通道标识与处理方案．
一个安全操作系统SLinux隐蔽通道标识与处理
【摘 要】
：
标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求，也是国际标准CC评估EM5及以上系统的关键指标．本文基于安全操作系统SLinux的设计开发实践，给出一个
【机 构】
：
解放军信息工程大学电子技术学院,上海中标软件有限公司
【出 处】
：
电子学报
【发表日期】
：
2007年1期
【基金项目】
：
国家科技攻关计划（No.2005BA112A02）
其他文献
金属切割机具有切料快捷,轻便省力的特点,因而被建筑工地广泛应用.但在使用中切割片高速旋转,稍有不慎,就会发生事故.同时,由于操作不当,切割片质量低劣等原因,伤人事故也时
近年来,随着市场经济的发展,建设领域突出的变化是市场主体的多元化和市场行为的多样化,这种变化给建筑安全生产管理提出了更高的要求和挑战.如何创新建筑安全生产监管机制,
针对嵌入式设备互连环境和嵌入式通信中间件的特点，结合马尔可夫决策过程理论，建立了解决路由问题的有限阶段模型，并修改马尔可夫有限阶段模型的向后递归迭代算法，提出了马尔可夫
计算平台可信证明是可信计算研究的热点问题。但是目前一些计算平台可信证明方案存在隐私保护和可行性等方面的缺陷．基于系统行为的计算平台可信证明模型（BTAM）在可信计算环境下
作为我国城镇化进程中涌现的一支新型劳动大军，农民工被边缘化的现状不容忽视，已经成为影响城乡统筹发展与和谐社会建设的重要因素。因此，必须加速农民工融入城市的进程：改革城乡
对侵犯他人信息网络传播权犯罪的认定,需要明确信息网络传播行为的刑法性质以及正确理解和把握＂以营利为目的＂的要件。我国《刑法》没有明确把信息网络传播权纳入保护视野,其保
近代以来，中国与日本同时面临西方列强的武力入侵，同时面对中西文化的深层冲突。如何应对这一前所未有的动荡格局，却体现出了中日两国在思想上的巨大差异。蔡元培先生与西田几多
麦克风阵列拓扑结构对麦克风阵列语音处理系统具有重要影响。该文针对麦克风阵列语音处理系统的时延估计性能，通过对声源和麦克风空间位置的几何描述，推导出了时延估计的Cram&#
传统的传感器网络生命期模型未考虑节点异跳上单位传输费用的差异性，针对该缺点本文建立生命期模型并转化目标为带不等式约束的最大费用最大流问题，依据模型中所体现路由规划与