逻辑未知PLD的安全性漏洞检测方法

摘要：

针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究.通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别算法的性能.针对状态驱动问题,阐明现有驱动算法的实现思想,分析现有驱动算法的空间复杂度,并且针对状态搜索和转移路径长度,定性地分析时间复杂度,提出下一步研究的重点.

关键词：可编程逻辑器件、漏洞检测、引脚判别、状态驱动

所属期刊栏目：36

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家"863"计划基金资助项目"核心芯片安全缺陷发现及其逆向分析模拟仿真系统"2009AA01Z434

在线出版日期：2010-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：132-134