【摘 要】
：
Flume系统不仅可以为处于不同安全级别的进程传输信息提供安全保障,还可以通过显式标签机制解决在隐式标签系统中进程间通信连接超时导致的隐蔽信道问题.但是其系统中的部分
【机 构】
：
武汉大学计算机学院,空天信息安全与可信计算教育部重点实验室武汉大学
【基金项目】
：
国家自然科学基金项目(91018008,61003268,61103220,91118003);湖北省自然科学基金项目(2010CDB08601);中央高校基本科研业务费专项资金项目(3101038)
论文部分内容阅读
Flume系统不仅可以为处于不同安全级别的进程传输信息提供安全保障,还可以通过显式标签机制解决在隐式标签系统中进程间通信连接超时导致的隐蔽信道问题.但是其系统中的部分不合理标签分配机制可能会导致信息在传递过程中同样存在泄露问题.针对这个问题提出一种隐蔽信道搜索模型(covert channel detection model,CCDM),将隐蔽信道的搜索问题抽象为有向图联通问题.最后结合回溯算法的思想提出IniaPathSearch算法和QuickPathSearch算法来对隐蔽信道进行自动搜索.实验结果表明,IniaPathSearch算法和QuickPathSearch算法可以正确有效地对Flume系统中隐蔽信道进行检测,并能为信息传递提供合法最短路径,其结果可以用于指导提高系统的安全性.
其他文献
<正>和花天酒地;四是官府和宫廷文化,其代表是谭家菜和宫廷菜,特点是排场大和工艺性强。这四个层次与地域性文化传统相结合,才形成了各类菜系。说到底,菜系的形成是历史的结
作为畜牧业的重要组成部分,我国肉鸡产业经过三十年的持续发展,已成为农业和农村经济中的支柱产业,文章系统总结了我国肉鸡产业发展趋势和特点,并针对肉鸡生产和价格大起大落
我国有着悠久的茶文化历史,经过50年发展,中国已经成为世界最大的茶叶生产和出口国之一。而长期以来日本、美国、欧盟等用技术性贸易壁垒(TBT)阻碍我国茶叶进入国际市场。现
随着互联网数据的爆炸性增长,搜索引擎成为人们生活和工作中不可缺少的信息获取工具.作为搜索引擎盈利的主要商业模式之一,竞价排名的赞助商广告链接以其高效、低风险、灵活
质量管理作为一个系统工程,与企业的每位员工都密切相关。全员参与质量管理是企业实现质量方针和质量目标的基础。文章探讨了企业全员参与质量管理的意义,并分析了实现全员参
传统的异步电动机是由恒频恒压的正弦波电源供电,而变频调速的异步电动机则是由变频变压的变频器供电,在供电电源中包含有大量的高次谐波,变速运行时供电电源的非正弦,是变频
随着我国经济快速增长,经济发展与能源消耗以及环境保护的矛盾日益尖锐,加快产业结构调整以及大力推进“节能减排”成为解决上述矛盾的主要手段。要“节能减排”,就需要节约
监狱法制建设的状况和发展水平是社会文明和进步的重要标志,是反映国家民主和法制建设的一个重要窗口。随着法制建设的不断深入与完善,《监狱法》的缺陷、漏洞日益显现,修改
永州国家农业科技园区核心区要树立新理念、创造新模式、应用新技术、开发新产品，调动各方面积极性。大胆探索园区建设的新模式，大力招商引资，讲成本适度投入，高标准立项建点，短期
印染废水是高浓度、难降解的有机废水,介绍了废水处理原则及处理方法的选择;分析了各类印染废水处理的一般工艺,包括棉及棉混纺印染、毛印染、丝绸染整、麻染整、化纤染整和