未知同步时序机状态网络生成算法研究  

State-network generation algorithm of encrypted synchronization sequential machines

作　　者：宋璞[1] 李清宝[1] 肖达[1] 樊敏[1] 

机构地区：[1]解放军信息工程学院计算机科学与技术系,河南郑州450002

出　　处：《计算机工程与设计》2008年第6期1331-1335,共5页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2006AA01Z404)

摘　　要：获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。Acquisition of states transition function inside encrypted synchronization sequential machine is the key part in the reverse design of synchronization sequential machine.Based on researching states transfer relation in synchronization sequential machine,com-pressed state-network dynamic generation algorithm is given,which can generate states transition diagram during data collecting.While deeply discussing state-driving strategy,it ensures that state-driving path is shorter and search time is less.The algorithm can fast acquire the inside state-network of the encrypted synchronization sequential machine.Finally,an example is given to simulate and analyze the state-network generation process,and the application in practical project is expounded to explain the feasibility of the algorithm.

关 键 词：同步时序机 有穷自动机 状态网络 状态驱动 加全搜索 最短路径 

分 类 号：TP331.2[自动化与计算机技术—计算机系统结构]