时序PLD安全缺陷检测方法研究  

Research on Sequential PLD Security Vulnerability Detection Method

作　　者：陈志锋[1] 李清宝[1] 曾光裕[1] 

机构地区：[1]解放军信息工程大学,郑州450002

出　　处：《计算机科学》2012年第5期53-56,79,共5页Computer Science

基　　金：国家863目标导向项目(2009AA01Z434)资助

摘　　要：可编程逻辑器件(PLD)在电子设备中广泛应用,其安全缺陷检测已成为信息安全领域中一个富有挑战性的课题。通过分析PLD安全缺陷的存在形式,提出了基于状态转移图的安全缺陷检测方法。该方法统一了检测思路,采用了脱机式芯片逆向分析和在线式芯片逆向分析相结合的技术,适用于不同的PLD安全缺陷检测,同时根据存在形式提出了检测算法。最后通过模拟测试对该检测思路及算法的有效性进行了验证。Due to the wide application of PLD in the electronic devices,the vulnerability detection of PLD has become a challenging subject in the information security field.By analyzing the existence form of PLD security vulnerability,a security vulnerability detection method was proposed,based on state transition diagram.Using off-line reverse analysis and on-system reverse analysis technology,this method unifies the detection ideas,which is suitable for different PLD security vulnerability detection.Then the detection algorithms were proposed on the basis of the existence forms.Finally,the effectiveness of the detection ideas and algorithms were verified by simulation.

关 键 词：可编程逻辑器件 状态转移图 安全缺陷检测 

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