计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
5期
53-56,79
,共5页
可编程逻辑器件%状态转移图%安全缺陷检测
可編程邏輯器件%狀態轉移圖%安全缺陷檢測
가편정라집기건%상태전이도%안전결함검측
可编程逻辑器件(PLD)在电子设备中广泛应用,其安全缺陷检测已成为信息安全领域中一个富有挑战性的课题.通过分析PLD安全缺陷的存在形式.提出了基于状态转移图的安全缺陷检测方法.该方法统一了检测思路,采用了脱机式芯片逆向分析和在线式芯片逆向分析相结合的技术,适用于不同的PLD安全缺陷检测,同时根据存在形式提出了检测算法.最后通过模拟测试对该检测思路及算法的有效性进行了验证.
可編程邏輯器件(PLD)在電子設備中廣汎應用,其安全缺陷檢測已成為信息安全領域中一箇富有挑戰性的課題.通過分析PLD安全缺陷的存在形式.提齣瞭基于狀態轉移圖的安全缺陷檢測方法.該方法統一瞭檢測思路,採用瞭脫機式芯片逆嚮分析和在線式芯片逆嚮分析相結閤的技術,適用于不同的PLD安全缺陷檢測,同時根據存在形式提齣瞭檢測算法.最後通過模擬測試對該檢測思路及算法的有效性進行瞭驗證.
가편정라집기건(PLD)재전자설비중엄범응용,기안전결함검측이성위신식안전영역중일개부유도전성적과제.통과분석PLD안전결함적존재형식.제출료기우상태전이도적안전결함검측방법.해방법통일료검측사로,채용료탈궤식심편역향분석화재선식심편역향분석상결합적기술,괄용우불동적PLD안전결함검측,동시근거존재형식제출료검측산법.최후통과모의측시대해검측사로급산법적유효성진행료험증.
