基于有限状态机的硬件木马设计和插入(英文)

来源 :北京大学学报(自然科学版) | 被引量 : 0次 | 上传用户:xiao531313486
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对集成电路设计和制造中存在的硬件木马问题,提出一种新的模型来提高木马检测能力。该模型基于有限状态机,比组合电路型木马难于触发和检测。同时,木马电路插入位置的选择也可以有效规避路径延时检测方法。实验选择ISCAS’89基准电路中的S349作为目标电路,对功能和延时信息进行仿真。实验结果表明,这种类型的木马难于激活,并且选择合适的插入位置可以有效隐藏延时信息。 Aiming at the hardware Trojans existing in the design and manufacture of integrated circuits, a new model is proposed to improve the detection ability of Trojans. The model is based on the finite state machine, Trojan horse than the combined circuit is difficult to trigger and detection. At the same time, the choice of the location of the Trojan circuit insertion can also effectively avoid the path delay detection method. The experiment chose S349 in ISCAS’89 reference circuit as the target circuit, and simulated the function and delay information. Experimental results show that this type of Trojan difficult to activate, and select the appropriate insertion position can effectively hide the delay information.
其他文献
通过对辽宁西部大面积油松冠层反射光谱的测定,分析了不同针叶被害率的油松冠层光谱反射率的差异.结果表明:在可见光波段,健康植被和不同针叶被害率的油松冠层光谱均符合绿色
目的 探讨捆绑式胰肠吻合术在胰十二指肠切除术中的应用价值。方法 对本科 2 0 0 0年 7月~ 2 0 0 2年 7月施行胰十二指肠切除术的 16例应用捆绑式胰肠吻合术 ,并随访术后恢
目前供销社普遍不景气,改革的议论、探讨颇多。本文从资产重组方面提出一些看法,并澄清一些传统观念 The current supply and marketing cooperatives generally downturn, re
据国家统计局统计,去年下半年613种主要商品供求情况排队显示,供不应求的商品10种,仅占1.6%;供求基本平衡的商品占66.6%;供过于求的商占31.8%,比上半年高出26.5个百分点。去年以来,消费品市
刘家峡水电站在兰州市上游约100公里的黄河峡谷中,坝址河段狭窄,仅宽50~60米,两岸陡峻,基岩裸露。坝下游1.5公里处为刘家峡峡谷出口,河道开阔,两岸为土质台地。 Liujiaxia Hy
近几年来,碾压混凝土在我国水利水电工程(坑口、沙溪口、铜街子、岩滩等)得到了较多的应用。但以往的研究着重在碾压混凝土配合比设计、物理力学性能、施工工艺及质量控制等
丛状纤维组织细胞瘤 (PFT)十分罕见 ,好发于儿童和青年 ,尤以女性多见。常累及上肢 ,临床表现为无症状、缓慢生长的皮下或真皮内肿块。镜下可见由多个结节状或丛状增生的组织细
采用水下及饱和土爆炸法处理软土地基不需大型施工机械和复杂的施工技术。若使用得当,可收到耗人力少、投资省、见效快等技术经济效果,日益引起工程界重视。主要应用范围有:
通过实验,证明了新式差动调压室和中和式在反射水击波方面的优越性。即新式差动调压室的穿室压力和高压管道中的水击值较常规式低,而中和式又较新式差动调压室为低,故在实际
关于厂房尺寸的估算问题,在水电站的规划、可行性研究、甚至有时初步设计中都是一个重要的环节。在这些阶段设计中,由于可供计算厂房尺寸的详尽机组资料缺乏,因此,要求设计