基于SAT的分离制造攻击方法

芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法并不能完全恢复出原始电路.本文提出了一种基于布尔可满足性的攻击方法(SplitSAT),它利用功能正常的电路作为黑箱模型,利用多路复用器对待攻击的不完整电路建模为逻辑加密电路,将恢复电路连接关系的问题转化为逻辑解密的可满足性问题,采用已有的CycSAT算法求解带环路的可满足性问题,可显著提高邻近攻击的成功率.考虑到SAT算法可求解的问题规模有限,本文提出经验式的解空间缩减方法,利用现有物理信息和自动化布局布线工具的特点,降低了解空间规模,提高了SplitSAT攻击效率.实验结果验证了本文提出SplitSAT算法的有效性.

分离机械制造业ERP需求分析与解决方案

ERP是信息时代现代企业的先进管理模式,也是制造业信息化工程的重要方面。分析了分离机械制造业的特点,提出了这类企业ERP的需求分析与解决方案。

基于企业视角的创新总部经济运行机制——以永康总部经济为例

利用经济学分析方法,本文从企业生产决策角度,考察企业进行研发和制造分离过程中的各种因素,理论模型表明要素价格和要素质量是决定企业设立总部的关键变量。不同类型的城市具有不同的要素水平,根据企业研发与制造分离的不同地点,可得到总部经济的四种发展模式。利用反映要素价格、要素质量以及宏观因素的统计数据,比较分析了模型中三类城市的各项指标,研究表明永康企业应将研发总部和制造工厂进行分离来达到利润最大化的目的。最后,本文给出了永康政府引导企业发展总部经济中的措施,包括利用五金产业优势,降低土地和劳动成本,吸引高级人才,提高金融服务能力。

广东佛山市制造企业分离发展现代服务业的问题和对策

制造企业分离发展现代服务业作为促进产业结构优化、转变经济发展方式的一种重要途径,已经成为我国制造业发达城市的政府一项重要的工作。本文结合佛山实际,从佛山市制造企业分离发展现代服务业的必要性入手,分析了佛山市制造企业分离发展现代服务业面临的障碍,并提出了佛山市制造企业分离发展现代服务业的思路和建议。

DST40算法硬件IP的设计及安全性分析

设计了基于DST40算法的硬件IP模块,该模块可进行加密认证功能.随后将设计模块采用分离制造的技术进行处理,来防止集成电路制造厂成为窃取模块信息的又一关键环节.随后,采用现有的攻击模型检测处理后模块的安全性并进行安全性分析.经过仿真分析,处理后的模块的保密性得到了大幅提升.