【摘 要】
：
一个多级安全系统的信息传递关系是搜索隐通道的重要依据。由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为
【基金项目】
：
本文受到国家自然科学基金（60573046,60773049）,江苏省高校自然科学研究计划（07KJB520016）和江苏大学高级人才项目（07JDG053）的资助.
论文部分内容阅读
一个多级安全系统的信息传递关系是搜索隐通道的重要依据。由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为进一步提高搜索和分析隐通道的效率,提出了一种将信息流图分割成信息流森林的算法。该算法首先选定一棵父树,然后通过边割集中的弧置换父树中的树枝得到新树,并能从理论上保证分割后得到的信息流森林正确继承原图的信息,即原图中信息流既未被割裂也未丢失。通过对每棵信息流树表示的信息流进行分析就可取代对整个信息流图的分析,从而有效降低了分析问题的规模。
其他文献
随着多媒体技术、网络技术的飞速发展，各种各样的信息爆炸式增长，导致人们对信息检索的要求越来越迫切。本文提出了一个新颖的基于内容的图像检索模型，还提出了一种新颖的适合于
软件适应特定变化的能力对软件开发和维护都具有重要的影响。软件适应性（Software Flexibility）是反映软件适应变化能力的一项重要质量特征。实践说明软件体系结构设计在很大程
图像自动语义标注是基于内容图像检索中很重要且很有挑战性的工作。提出用语义约束的聚类方法对分割后的图像区域进行聚类,在图像标注阶段,使用贪心选择连接(GSJ)算法找出聚类区域的独立子集,然后使用贝叶斯理论进行语义标注。对图像进行标注以后,使用标注的关键字进行检索。在一个包含500幅图像的图像库进行实验,结果表明,提出的方法具有较好的检索性能。
针对三维模型传输技术中的模型简化问题,以边收缩算法思想为基础,应用网络节点频度中心理论(Degree Centrality),提出并实现了一种保持几何封闭性的模型简化方法。该方法能在保证简化模型逼真度的同时较好地保持模型的几何封闭性,避免孤立面的产生,并且生成了渐进网格文件,为模型提供了连续多分辨率的模型重建。实验证明了该方法的有效性。
本文介绍了基于灰度形态学的多方向边缘检测算法。基于边缘的多方向特征,构造了多方向的结构元素,并将边缘检测的过程与形态学开闭滤波相结合,提出了一种新的边缘检测算法。该算法在较好地检测图像边缘的同时很好地抑制了噪声。
在ACJT方案的基础上实现了一成员可撤销的群盲签名方案。借鉴陈的成员撤销思想，对签名过程进行了改进，将原方案的两个零知识证明减少为一个，减少了模指数运算，缩短了签名长度，同时
针对可信计算中信任链理论缺乏深入分析验证的现状，分析了信任链理论中，可信与信任的内涵及其隐含的动态特性，借助时态逻辑的时间推理能力，建立了可信平台中的信任链的形式化模型