【摘 要】
：
基于安全操作系统SLinux的设计开发实践,采用信息流序列来描述信息流和隐蔽通道,阐述了基于信息流分析的隐蔽通道的分类,刻画了隐蔽通道信息流分类特性,探讨了隐蔽通道完备性
【机 构】
：
解放军信息工程大学电子技术学院,解放军信息工程大学
【基金项目】
：
国家“863”计划资助项目(2006AA01Z433,2008AA01Z404)
论文部分内容阅读
基于安全操作系统SLinux的设计开发实践,采用信息流序列来描述信息流和隐蔽通道,阐述了基于信息流分析的隐蔽通道的分类,刻画了隐蔽通道信息流分类特性,探讨了隐蔽通道完备性处理方法。在此基础上,提出了基于信息流分析的隐蔽通道通用检查框架,设计了隐蔽通道信息流标志优化规则,通过实例验证分析,说明该方法能够有效地限制隐蔽通道信息流组合扩散、减少误报伪非法流,能有效简化隐蔽通道的分析过程。
其他文献
<正> 我科自1975年12月至1979年1月,单用生大黄10克、元明粉10克、(1978年起加)龙胆草6~10克,开水浸泡5分钟,服上清液。重的一日二次。治疗急症入院的胆囊炎、胆石症116例,结
为实现地铁车辆转向架的轻量化设计，参照国际标准uIc6154，计算某地铁车辆转向架构架的主要载荷。将垂向载荷、横向载荷和纵向栽荷等6种载荷组合成5种超常栽荷工况，经有限元
针对处理机节点具有不同计算速度、不同通信能力的情况,考虑计算和通信启动开销,给定处理机分配顺序,基于可分负载理论,提出一种存储受限异构机群系统的序列串最优分配线性规
锅炉蒸汽冷凝水回用时一项利国利民的节能减排工作。本文通过冷凝水利用方法的介绍好效益分析,探讨了蒸汽冷凝水回收的可行性、必要性和重要性。
Fe74Cr2Mo2Sn2P10Si4B4C2是一种发现不久的块体非晶合金。用旋淬法制备了该合金的非晶带材,DSC测得玻璃转化温度Tg是750K,晶化温度Tx1是786K,Tx2是805K。将带材样品分别在不
中国实施"互联网+"战略,为跨境电子商务的发展提供了有力的政策保障,也对物流运输提出了新的要求。强大的物流支撑体系直接关系着商品流转的成本、效率和消费者体验。在评价
<正>一般健康人群在30岁以后,肌肉质量和功能逐渐丢失,其主要原因为年龄相关的肌肉减少症。缺乏身体活动的人群,30岁以后每10年肌肉丢失的程度多达3%~5%,及时经常运动,仍会有
对人工土壤渗滤技术在上海市的应用情况进行了总结,并选取具体的工程实例对人工土壤渗滤系统进行了说明。介绍了人工土壤渗滤系统在应用过程中水力负荷的确定及土壤的改性措