樊敏
- 作品数：4 被引量：3H指数：1
- 供职机构：解放军信息工程大学信息工程学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- PLD逆向分析中并行数据采集技术研究
- 2009年
- 现有的数据采集算法很难适用于较大规模的加密PLD解析。文章研究数据采集中状态加全的并行性和CPU与采集平台之间的并行性,提出了一种并行数据采集模型,通过将状态加全和搜索状态转移路径分散到多个采集设备上执行,充分利用设备资源,解决了构建状态转移图时内存不足的问题,有效降低了数据采集时间。
- 樊敏曾光裕李清宝周丽
- 关键词：可编程逻辑器件数据采集并行性状态转移图路径搜索
- 未知同步时序机状态网络生成算法研究被引量：1
- 2008年
- 获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。
- 宋璞李清宝肖达樊敏
- 关键词：有穷自动机最短路径
- OLRDS结构技术研究
- 芯片逆向分析是提升集成电路设计能力的有力手段,是消除芯片缺陷和漏洞以确保信息安全的重要途径。脱机式逆向分析法因准确性高、无需昂贵的专用设备、对芯片无损等特性广泛应用于可编程逻辑器件的逆向分析。本文以脱机式逆向分析中核心环...
- 樊敏
- 关键词：数据采集时序机状态图路径搜索
- 文献传递
- 逻辑未知PLD的安全性漏洞检测方法
- 2010年
- 针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究。通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别算法的性能。针对状态驱动问题,阐明现有驱动算法的实现思想,分析现有驱动算法的空间复杂度,并且针对状态搜索和转移路径长度,定性地分析时间复杂度,提出下一步研究的重点。
- 周丽李清宝樊敏赵岩
- 关键词：可编程逻辑器件漏洞检测
