切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种基于污点数据传播和无干扰理论的软件行为可信性分析模型
一种基于污点数据传播和无干扰理论的软件行为可信性分析模型
来源 :计算机科学 | 被引量 : 0次 | 上传用户:zzdlily_6000
【摘 要】
:
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列
【作 者】
:
陈曙
叶俊民
张帆
【机 构】
:
华中师范大学计算机学院,杭州电子科技大学通信工程学院
【出 处】
:
计算机科学
【发表日期】
:
2013年5期
【关键词】
:
可信计算
污点分析
无干扰
Trusted computing
Taint analysis
Noninterference model
【基金项目】
:
本文受中央高校自主科研基金(CCNU11A01012,CCNuuA02007),湖北省自然科学基金(2010CDB04001)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理。
其他文献
安阳大豆新品种及抗疫霉根腐病资源介绍
安豆1号、安豆4号、安豆5156、安豆203、安豆5246、安豆1498是由安阳市农业科学院选育的大豆新品种或新品系。其特征特性优良,有的已经通过审定,有的正在参加各级试验,以其为
期刊
安阳
大豆
优异种质
利用
运行时验证技术的研究进展
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件
期刊
运行时验证
运行时监控
软件正确性
形式化方法
Runtime verification
Runtime monitoring
Correctness of
应用于大规模ASIC的线长驱动的合法化算法
总体布局完成之后的核心任务就是单元位置的合法化,即在将所有的单元安放到布局区并且与合理位置(site)对齐的同时,消除单元间的重叠。为了高效地实现大规模ASIC(Application Spec
期刊
布局合法化
线长驱动
大规模
集成电路
Placement legalization
Wire-length driven
Large-scale
ASI
GCC编译器中编译指导的自动向量化实现
基于编译指导的自动向量化已经成为编译器开发SIMD体系结构性能潜力的必然选择。OpenMP 4.0规范新增了SIMD编译指导语句,在开发中的GCC 4.9版本已经开始着手支持OpenMP4.0规
期刊
GCC
SIMD
编译指导
自动向量化
GCC
SIMD
Directives
Auto-vectorization
基于相对形状上下文的低分辨率遥感影像阵群目标关联算法
目标关联是遥感影像融合处理的重要步骤,本质上是目标配对问题。针对低分辨率遥感影像中阵群目标的特点,提出了一种基于点模式匹配的阵群目标关联算法。首先提出一种新的基于点集的不变特征——相对形状上下文特征,然后建立了以相对形状上下文特征的统计检验匹配测度为基础的阵群目标关联数学模型。为了求解该模型,在构造新的相容性度量函数来初始化关联概率矩阵后,利用松弛标记法通过迭代逐步更新关联概率矩阵,同时通过行列双
期刊
阵群目标关联
点模式匹配
相对形状上下文
松弛标记法
Group target association
Point pattern matching
Rel
基于概念分层的图汇总算法
将原始图中节点分配到多个分组并根据原始边来确立分组间关系,这样得到的图称作汇总图。汇总图的规模可以由用户设定,用户可以通过浏览小规模的汇总图来获得原始图的相关信息
期刊
图汇总
概念分层
多目标规划
层次凝聚
Graph summarization
Concept hierarchy
Multi-objective plan
一种自动机学习和符号化执行的软件自动测试方法
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
期刊
自动机
自动测试
符号化执行
抽象机
Automation
Auto testing
Symbolic execution
Abstract machin
基于椭圆曲线和因子分解双难题的数字签名方案
对沈群等提出的同时基于椭圆曲线和因子分解双难题的数字签名方案给出了攻击分析,本文证明椭圆曲线或因子分解难题有一个可求解,则沈群方案可被攻破。同时给出了一个新的基于
期刊
椭圆曲线
因子分解
数字签名
消息恢复
伪造攻击
Elliptic curve
Factoring
Digital signature
Message reco
其他学术论文