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

Security Vulnerability Detection Method of Logic-unknown PLD

作　　者：周丽[1] 李清宝[1] 樊敏[1] 赵岩 

机构地区：[1]解放军信息工程大学信息工程学院,郑州450002 [2]北京市飞燕电子技术公司,北京100072

出　　处：《计算机工程》2010年第18期132-134,共3页Computer Engineering

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

摘　　要：针对逻辑未知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.

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

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]