由于集成电路的全球化及采用代工的生产方式，导致攻击者可以在IC芯片设计到制造过程中故意植入带有恶意的硬件电路，通常称为硬件木马(HardwareTrojan)。这种硬件木马一旦被激活，会破坏系统正常工作、干扰系统的性能或者泄露系统机密等，严重威胁着关键领域信息安全，除此之外，恶意制造方还有可能对芯片进行多量生产或者复制，获取非法盈利。因此开展硬件木马的芯片检测和可信设计方法研究具有重要的使命意义。　　本论文的主要工作如下:　　1.综述了当前国内外的木马模型分类、木马检测方法和抗木马可信性设计方法，并分析了各种方法的优缺点。　　2.攻击方通常会考虑在组合电路内部跳变概率较低的节点植入木马，具有隐蔽性。为了避免木马的有效植入，本文提出了一种通过增加有限状态机控制电路内部节点改善跳转概率的方法。　　3.为了防止恶意制造方对芯片进行过量生产或恶意复制，本文提出了一种ID（身份识别代码）与FSM（有限状态机）结合的可信设计方法，提高了电路的抗复制和木马检测能力。　　4.以ISCAS89系列基准电路作为被测电路，对本文提出的基于ID和FSM结合的电路可信性设计方法进行了验证。设计了4种木马结构电路，选取低概率节点进行木马植入，并采用随机测试矢量方法进行检测。　　实验结果表明:未经过可信性设计的原始电路中植入的7个硬件木马均未被检测到，而经过可信性设计的电路植入相同的7个木马，有4个通过控制FSM在不同状态可以检测到，另外3个通过控制电路在状态间进行切换改善节点跳变概率可以成功检测;对节点概率进行统计分析，修改后的电路有高于60％的概率会使攻击者选择错误节点进行木马植入;对电路进行复制，经过可信性设计的芯片若没有新的密钥，无法进入电路正常工作状态。因此，本文所提出的电路可信性设计方法可以增加恶意方攻击及复制电路的难度，提高硬件木马检测效率。针对ISCAS89基准电路，选用3位有限状态机，4位ID，概率阈值10％，电路可信性设计开销约为25％，在合理范围之内。针对不同电路可以通过调整参数控制设计开销。