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

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

Security Vulnerability Detection Method of Logic-unknown PLD

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.