论文部分内容阅读
以无干扰理论为基础，提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据，提取可能引发系统不可信的关键系统调用，并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信，并给出了调用序列可信性判定定理。
一种基于污点数据传播和无干扰理论的软件行为可信性分析模型
【摘 要】
：
以无干扰理论为基础，提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据，提取可能引发系统不可信的关键系统调用，并建立污点传播调用序列
【机 构】
：
华中师范大学计算机学院,杭州电子科技大学通信工程学院
【出 处】
：
计算机科学
【发表日期】
：
2013年5期
【基金项目】
：
本文受中央高校自主科研基金（CCNU11A01012,CCNuuA02007）,湖北省自然科学基金（2010CDB04001）资助.
其他文献
安豆1号、安豆4号、安豆5156、安豆203、安豆5246、安豆1498是由安阳市农业科学院选育的大豆新品种或新品系。其特征特性优良,有的已经通过审定,有的正在参加各级试验,以其为
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件
总体布局完成之后的核心任务就是单元位置的合法化，即在将所有的单元安放到布局区并且与合理位置（site）对齐的同时，消除单元间的重叠。为了高效地实现大规模ASIC（Application Spec
基于编译指导的自动向量化已经成为编译器开发SIMD体系结构性能潜力的必然选择。OpenMP 4.0规范新增了SIMD编译指导语句,在开发中的GCC 4.9版本已经开始着手支持OpenMP4.0规
目标关联是遥感影像融合处理的重要步骤,本质上是目标配对问题。针对低分辨率遥感影像中阵群目标的特点,提出了一种基于点模式匹配的阵群目标关联算法。首先提出一种新的基于点集的不变特征——相对形状上下文特征,然后建立了以相对形状上下文特征的统计检验匹配测度为基础的阵群目标关联数学模型。为了求解该模型,在构造新的相容性度量函数来初始化关联概率矩阵后,利用松弛标记法通过迭代逐步更新关联概率矩阵,同时通过行列双
将原始图中节点分配到多个分组并根据原始边来确立分组间关系,这样得到的图称作汇总图。汇总图的规模可以由用户设定,用户可以通过浏览小规模的汇总图来获得原始图的相关信息
在2D-3D医学图像配准中,数字影像重建（DRR）的生成与相似性测度是最重要同时也是最耗时的两个配准步骤。针对配准过程中计算量大、耗时长的问题,将模式强度与梯度相结合,简化模
进行遥感图像融合时,全色图像空间信息的保留与多光谱图像光谱信息的保持是相互矛盾的,如何在这对矛盾体中实现最佳的融合效果一直是图像融合领域的研究热点。在IHS变换的基础上,将形态学和Contourlet变换相结合,针对多特征地物遥感图像的融合提出了一种基于图像特征的选择性融合算法。该算法先利用形态学操作将图像的边缘和非边缘信息进行区分,然后对处理后的图像进行Contourlet变换得到一个低频和一系
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
对沈群等提出的同时基于椭圆曲线和因子分解双难题的数字签名方案给出了攻击分析,本文证明椭圆曲线或因子分解难题有一个可求解,则沈群方案可被攻破。同时给出了一个新的基于