摘要
针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究。通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别算法的性能。针对状态驱动问题,阐明现有驱动算法的实现思想,分析现有驱动算法的空间复杂度,并且针对状态搜索和转移路径长度,定性地分析时间复杂度,提出下一步研究的重点。
Aiming at the isolation state detection of logic-unknown Programmable Logic Device（PLD）, black-box detecting method is studied. By analyzing the PLD＇s I/O structure, the principle of the pin attributes identification in course of detecting is expounded, and the performance of three types of identification algorithms is analyzed. For state-driven issues, the implementation idea of existing driven algorithms is elaborated, the space complexity is analyzed and the time complexity of state search as well as transfer path length is analyzed. Then the problems needed to focus on in the following study are raised.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第18期132-134,共3页
Computer Engineering
基金
国家"863"计划基金资助项目"核心芯片安全缺陷发现及其逆向分析模拟仿真系统"(2009AA01Z434)
关键词
可编程逻辑器件
漏洞检测
引脚判别
状态驱动
Programmable Logic Device（PLD）
vulnerability detection
pin identification
state drive
