国家高技术研究发展计划(2009AA01Z434)

作品数：25被引量：56H指数：4
导出分析报告
相关作者：李清宝王炜张平曾光裕崔晨更多>>
相关机构：解放军信息工程大学中国人民解放军信息工程大学郑州供电公司科技部更多>>
相关期刊：《信息工程大学学报》《电子与信息学报》《计算机工程》《计算机工程与设计》更多>>
相关主题：二进制程序可编程逻辑器件反汇编二进制翻译边界扫描技术更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于聚类分析的内核恶意软件特征选择被引量：14
《电子与信息学报》2015年第12期2821-2829,共9页陈志锋 李清宝 张平 冯培钧 
核高基国家科技重大专项(2013JH00103);国家863计划目标导向项目(2009AA01Z434)~~
针对现有基于数据特征的内核恶意软件检测方法存在随特征的增多效率较低的问题,该文提出一种基于层次聚类的特征选择方法。首先,分析相似度计算方法应用于数据特征相似度计算时存在的困难,提出最长公共子集并设计两轮Hash求解法计算最...
关键词：数据特征 最长公共子集 层次聚类 特征选择 内核恶意软件 
基于访问控制的Hypervisor非控制数据完整性保护被引量：3
《电子与信息学报》2015年第10期2508-2516,共9页陈志锋 李清宝 张平 曾光裕 
核高基国家科技重大专项(2013JH00103);国家863计划项目(2009AA01Z434)~~
在虚拟化技术广泛应用的同时虚拟层的安全问题引起了国内外研究人员的密切关注。现有的虚拟机管理器(Hypervisor)完整性保护方法主要针对代码和控制数据的完整性保护,无法抵御非控制数据攻击;采用周期性监控无法提供实时的非控制数据完...
关键词：虚拟机管理器 非控制数据 使用控制 完整性保护 事件条件行为 
二进制程序跨平台移植时用户过程的数据恢复
《计算机工程与设计》2015年第1期161-167,共7页刘晓楠 赵荣彩 庞建民 魏振方 
国家863高技术研究发展计划基金项目(2009AA01Z434);"核高基"重大专项基金项目(2009ZX01036-001-001);河南省重大科技攻关计划基金项目(092101210500)
二进制程序跨平台移植时,不能完全恢复用户自定义过程中的参数和变量等数据,为此采用基于语义镜像和栈帧动态维护的实现策略,提出一种在二进制翻译中针对用户自定义过程中数据的有效数据恢复方案。语义镜像策略具体包含寄存器的精确映...
关键词：二进制翻译 用户过程 数据恢复 语义镜像 栈帧动态维护 
软件移植、二进制翻译和国产处理器发展被引量：4
《信息工程大学学报》2014年第5期613-616,621,共5页刘晓楠 赵荣彩 庞建民 
国家863计划资助项目(2009AA01Z434);国家科技重大专项资助项目(2009ZX01036-001-001);河南省重大科技攻关计划资助项目(092101210500)
二进制翻译作为软件移植的一种重要形式,其具体实现与处理器体系结构密切关联,在处理器发展中扮演重要角色。国产通用处理器的发展是打破外国芯片制造商在该领域垄断的有效手段。二进制翻译技术与国产通用处理器相结合,可以加快改善国...
关键词：软件移植 二进制翻译 国产处理器 
独立可执行设备支持的终端代码防篡改技术研究被引量：2
《小型微型计算机系统》2013年第12期2809-2813,共5页朱毅 李清宝 钟春丽 王炜 
国家"八六三"高技术研究发展计划目标导向项目(2009AA01Z434)资助
终端代码防篡改技术研究对保护网络终端安全具有重要意义,是信息安全研究的热点问题之一.在分析常见网络终端体系结构脆弱性问题的基础上,提出一种以硬件为核心的终端代码防篡改方案.该方案通过构建独立可执行环境来解决程序运行过程中...
关键词：信息系统安全 可信计算 代码防篡改 软件保护 
Tcl脚本控制的边界扫描测试方法研究被引量：2
《小型微型计算机系统》2013年第12期2841-2844,共4页钟春丽 张平 生拥宏 龚雪容 朱毅 
国家″八六三″高技术研究发展计划目标导向项目(2009AA01Z434)资助
针对现有基于编译型语言开发的边界扫描测试系统灵活性较低、核心逻辑复用困难的问题,在深入分析了Tcl脚本语言特点和扩展方法的基础上,提出一种用Tcl脚本语言编写测试脚本实现边界扫描测试的可行方法.通过将边界扫描测试相关操作封装成...
关键词：边界扫描技术 工具命令语言(Tcl) 测试脚本 JTAG 
基于边界扫描技术的抗混淆自适应测试算法
《信息工程大学学报》2013年第5期600-606,共7页钟春丽 张平 生拥宏 朱毅 曹凯 
国家863计划资助项目(2009AA01Z434)
针对现有边界扫描测试快速测试算法存在征兆混淆现象的问题,在深入分析多种测试算法的基础上,提出一种抗混淆的自适应测试算法。首先,通过分析走步算法的特点,给出一种走步算法的改进方案。该方案在保证算法完备性指标不变的情况下,提...
关键词：边界扫描技术 测试算法 紧凑性指标 完备性指标 
基于抽象解释的二进制代码变量区间分析被引量：1
《电子与信息学报》2013年第8期1927-1932,共6页高洪博 李清宝 王炜 谢晓东 朱瑜 
"核高基"国家科技重大专项(2009ZX01036);国家863计划项目(2009AA01Z434)资助课题
在二进制代码分析中,传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点,基于抽象解释理论,该文提出字级数据区间和位级数据区间的概念,分别对数值型数据变量和位级数据变量进行抽象表示;将抽象区间用于二进制代...
关键词：二进制代码 代码分析 区间分析 抽象解释 
一种基于扩频编码的可靠网络隐蔽信道设计方法被引量：3
《电子与信息学报》2013年第4期1012-1016,共5页牛小鹏 李清宝 王炜 
国家863计划项目(2009AA01Z434);信息工程大学未来发展基金(Future 1201)资助课题
针对网络隐蔽信道在强噪声环境中信息传递错误率高的问题,该文提出一种基于CDMA扩频编码的可靠网络隐蔽信道设计方法。该方法利用数据包在传输过程中的包际时延传递隐蔽信息,发送方采用散列扩频编码,接收方采用信道噪声预测消除等技术...
关键词：信息安全 网络隐蔽时间信道 信道传输率 信道抗干扰性 
基于敏感位置识别的状态化简技术研究
《电子与信息学报》2013年第3期742-748,共7页高洪博 李清宝 王炜 朱瑜 
国家863计划项目(2009AA01Z434)资助课题
模型构建是模型检验的基础,在微控制器代码模型构建过程中面临状态爆炸的问题。由于生成模型的状态数量与代码规模密切相关,通过简化代码可以有效缩减生成的状态数量。该文提出了敏感变量和敏感位置的概念,并以此为基础提出了结合子程...
关键词：模型检验 状态爆炸 敏感变量 敏感位置 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部