朱毅
- 作品数：7 被引量：11H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 用于细粒度完整性度量的非平衡二叉哈希树模型被引量：4
- 2014年
- 莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建模分析,提出一种以非平衡二叉树为基础的改进哈希树模型.该模型的树节点数量可根据实际需求动态增加,空间利用率高.实验结果表明,改进哈系树模型空间开销减少约25%;树构建过程时间开销减少约8%,且该模型不需要预先分配存储空间,特别适用于数据量动态增加对象的完整性保护.
- 朱毅李清宝钟春丽王炜
- 关键词：可信计算
- 基于非平衡哈希树的平台完整性远程验证机制被引量：4
- 2014年
- 为提高计算平台完整性度量的远程验证效率,提出一种基于非平衡哈希树的平台远程验证机制。平台可信实体的散列值以非平衡哈希树叶子节点的结构存储,远程验证时,查找度量实体对应的叶子节点,记录该叶子节点到根节点的验证路径,然后传递根节点和验证路径给验证方,最后根据验证路径重新计算根节点来验证度量值的有效性。实验结果表明,该机制能够有效降低散列值存储的空间和时间开销,完整性度量验证的时间复杂度为O(lb N)。
- 翁晓康张平王炜朱毅
- 关键词：可信计算
- 网络终端代码防篡改技术研究
- 上网终端长期面临多种多样的攻击,如病毒与木马的植入攻击等,这些攻击绝大多数会表现为对目标系统中程序控制流或数据流的篡改。本文以发现恶意行为对正常终端代码内容的篡改为切入点,研究以代码防篡改为基本手段的网络终端安全防护方法...
- 朱毅
- 关键词：内存虚拟化
- 文献传递
- 独立可执行设备支持的终端代码防篡改技术研究被引量：2
- 2013年
- 终端代码防篡改技术研究对保护网络终端安全具有重要意义,是信息安全研究的热点问题之一.在分析常见网络终端体系结构脆弱性问题的基础上,提出一种以硬件为核心的终端代码防篡改方案.该方案通过构建独立可执行环境来解决程序运行过程中的完整性保护问题,通过物理隔离和强制访问控制解决数据机密性保护问题.最终采用通用USB-KEY和部分终端代码仿真实现独立可执行设备原型,并对其主要功能和性能进行了测试.实验结果表明,该方案能够利用较低成本的硬件资源,为网络终端内目标程序提供防篡改保护.
- 朱毅李清宝钟春丽王炜
- 关键词：可信计算
- 基于边界扫描技术的抗混淆自适应测试算法
- 2013年
- 针对现有边界扫描测试快速测试算法存在征兆混淆现象的问题,在深入分析多种测试算法的基础上,提出一种抗混淆的自适应测试算法。首先,通过分析走步算法的特点,给出一种走步算法的改进方案。该方案在保证算法完备性指标不变的情况下,提高了算法的紧凑性指标。在此基础上,结合改良计数序列算法,生成抗混淆自适应测试算法。该算法解决了改良计数序列算法存在的征兆混淆问题,极大提高了算法的完备性指标,且紧凑性指标较好。
- 钟春丽张平生拥宏朱毅曹凯
- 关键词：边界扫描技术
- Tcl脚本控制的边界扫描测试方法研究被引量：2
- 2013年
- 针对现有基于编译型语言开发的边界扫描测试系统灵活性较低、核心逻辑复用困难的问题,在深入分析了Tcl脚本语言特点和扩展方法的基础上,提出一种用Tcl脚本语言编写测试脚本实现边界扫描测试的可行方法.通过将边界扫描测试相关操作封装成Tcl扩展命令,实现了使用脚本命令控制边界扫描测试设备的目的.以此为基础,设计实现了Tcl脚本语言控制的边界扫描测试原型系统.通过实验分析,验证了该方法的可行性.
- 钟春丽张平生拥宏龚雪容朱毅
- 关键词：边界扫描技术测试脚本JTAG
- 非BS器件的模型化分类测试
- 2014年
- 针对现有电路板边界扫描器件与非边界扫描器件同时存在,致使测试覆盖率较低的问题,提出对非BS器件模型化分类的测试方法.以器件的可测属性为依据,对其进行分类并抽象建模.将板上器件及线网抽象为有向图,基于迪杰斯特拉算法及广度优先搜索算法,构建了电路板的可达测试模型.对可达测试模型和簇测试模型的生成方法进行了形式化定义,并给出模型的测试方案.实验结果表明,该方法比现有簇测试方法测试覆盖率更高,进一步扩展了板上非BS器件的可测范围,并能很好的应用于自动测试.
- 钟春丽张平生拥宏王炜朱毅
- 关键词：边界扫描测试技术模型化有向图
