【摘 要】
：
硬件木马可以通过篡改设计、 漏洞攻击等方式植入,从而破坏FPGA原始设计的功能.为了保证FPGA内部配置的可靠性,以Xilinx Virtex系列FPGA为例,对FPGA的配置存储器、 配置流程等方面做了具体的介绍,并在此基础上设计并实现了基于JTAG接口的位流回读与检测系统,通过JTAG接口,完成回读操作,并对回读数据进行分析,从而判定是否受到硬件木马感染.在Xilinx Virtex 7系列FPGA上进行验证,试验结果表明该方法可以有效地检测出受感染的设计.相比于旁路分析等硬件木马检测方法,该方法具有
【机 构】
：
中国航天宇航元器件工程中心, 北京 100094
论文部分内容阅读
硬件木马可以通过篡改设计、 漏洞攻击等方式植入,从而破坏FPGA原始设计的功能.为了保证FPGA内部配置的可靠性,以Xilinx Virtex系列FPGA为例,对FPGA的配置存储器、 配置流程等方面做了具体的介绍,并在此基础上设计并实现了基于JTAG接口的位流回读与检测系统,通过JTAG接口,完成回读操作,并对回读数据进行分析,从而判定是否受到硬件木马感染.在Xilinx Virtex 7系列FPGA上进行验证,试验结果表明该方法可以有效地检测出受感染的设计.相比于旁路分析等硬件木马检测方法,该方法具有更强的鲁棒性和更宽的覆盖范围.
其他文献
从涡河水资源和开发利用状况出发,针对生态流量保障方面存在的问题,提出涡河水量调度规则、常规调度方法、河道外用水管控要求、应急调度预案等河湖生态流量保障管理措施,有助于安徽省落实水利部河湖生态流量(水位)管控工作部署,为涡河的生态健康助力.
为充分利用城市污水、削减水污染负荷、节约用水、促进水的循环利用、提高水的利用效率,建立可持续发展的水资源利用模式.结合芜湖市污水处理设施、污水排放和经济社会发展现状,分析了再生水利用潜力和前景,编制了芜湖市再生水利用建设方案,对芜湖市再生水利用具有一定的指导作用.
基于增设辅助站思路,采用瞬时落差指数法对小柳巷站瞬时流量进行单值化处理分析,经2021年洪水过程验证,达到整编精度要求,实现流量实时在线监测.
根据黄栗树水库流域1956—2020年降雨量资料,分析降雨的年际、年内、空间分布特点和变化趋势,为黄栗树水库水文预报、水库调度及水资源综合保护提供基础支撑.
经过对土壤蒸发过程长期的观察、分析,发现凝结水的形成受温度和湿度的影响显著,且具有量化难度大、难以规避等特点;为了降低凝结水对土壤蒸发试验的影响程度,基于姚李蒸发试验站多年观测数据,利用对比试验的方法,分析了凝结水对土壤蒸发试验的影响,揭示了其成因,提出通过增加观测段制的应对策略,提高土壤蒸发试验的精度,为提升农业站点的基础数据观测精度与可靠性提供了一定参考.
为解决部分农村河湖管理划界资金相对短缺,无法开展实地测图等问题,结合河湖划界工作实践,利用91卫图助手、ArcGIS软件的ArcMap与ArcToolbox模块和AutoCAD等软件,提出了在没有新近护河地形测图的情况下河湖划界的工作方法,为今后河湖管理工作提供参考.
近年来,安徽省淮河河道管理局以信息化为引领,加快推进淮河河道管理现代化,实施水闸自动化监控系统建设,实现水闸工情水情等数据的自动采集与报送、水闸运行状况的远程监视,为开展水旱灾害防御提供有力支持.
水利科技档案现代化管理,可让档案数据收集整合、存储利用等各项工作更加便捷.提出水利科技档案管理现代化的若干思路,对推动水利科技档案管理的信息化、健全管理机制、实现数据共享具有科学的应用价值和指导意义.
信息化项目成本度量一直是业界的难题和关注点.为了提升软件成本测算精度,满足项目承建单位在项目投标、 建设实施及结算环节对成本测算及管控的需要,首次提出从开发者视角对信息化项目全过程进行工序结构化分解、 定额化测算的方法,并采用科学分析方法建立高精度编码算量模型,首创了基于详细设计和结算深度的软件成本度量算法,显著地提升了算量精度,提高了工序成本逻辑关联性,减少了技术误差和主观误差,使得项目承建单位针对整个项目周期中各个阶段的工序从前期估算到项目结算的成本度量、 管控能够更加科学合理.
当前国内外智能制造的发展日新月异,国内外企业都大力推进数字信息化建设,试验数据管理需求已然成为整体数字化建设中非常重要的部分.根据试验数据管理的具体需求,引入试验数据管理系统平台的建设,以试验全过程业务数字智能化为主要需求牵引,构成多层次逻辑架构,实现全过程与实战化检验标准相适应的质量管理能力.