SCVerify:抗功耗侧信道攻击软件实现的验证

功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.     

本安电源过压、过流保护次序选择研究

过压-过流保护和过流-过压保护是本安电源过压、过流保护次序的2种形式,为研究不同的保护次序形式对本安电源安全性能的影响,建立了本安电源火花放电等效模型,确定了影响保护次序选择的本质安全性能因素。在发生过压、过流或同时发生过压与过流3种情况下,分别比较研究了2种保护次序的保护电路的性能,研究结果表明,在本安电源的设计中,过压、过流保护次序的选择并不是随机任意的,而是有原则可循的:过压保护电路的类型决定了本安电源过压、过流保护次序的选择,在设计中,首先要判断过压保护电路的类型,如果过压保护电路的类型是短路型,本安电源保护电路应设计成过流-过压的保护次序,否则应设计成过压-过流保护次序,过压-过流保护次序的保护电路截止关断时间更短,其保护效果更好,本安电源的安全性能更高。     

面向用户需求的工程机械外观防护装置设计

从用户需求的角度出发进行工程机械外观防护装置的设计,对提升用户满意度有一定意义。分析了工程机械外观防护装置的特点,从防护性能、维修方便性、操作舒适性及外观风格4个方面对用户需求进行了阐述。以混凝土泵车外观防护装置为例,论述了收集、提取、分析用户需求及设计实践的过程,也为工程机械其他产品外观防护装置的设计提供了参考。     

基于用户角度下的手机广告检测方法研究

随着5G时代的到来,智能通讯设备的普及给人们带来各种方便的同时对于广告商来说也是一种新的宣传方式。本文通过分析当下手机检测广告软件的情况,结合用户对手机广告的检测拦截方式来给研究人员提高防护恶意手机广告的建议和改进措施。     

基于可供性的VRE用户体验研究

文中旨在探究可供性理论在虚拟现实环境(VRE)中的运用。分析可供性理论运用在VRE用户界面中的可行性,并采用定性与定量的混合方法,结合主观可供性与客观可供性因素,通过桌面式教学系统与虚拟现实教学系统对用户的体验方式、消耗时间进行对比分析。构建可供性的VRE用户界面模型,从而提高VRE用户界面的可用性,带给用户更好更快的VRE用户体验效果,为虚拟现实技术的发展提供借鉴与参考意义。     

管壳式换热器的数值模拟和管束支撑分析

以某固定管板换热器为例，对数值模拟方法和管束支撑进行了研究。通过建立不同单元类型的换热器有限元模型，以换热器壳体轴向应力为指标，对比换热器筒体和管子中的轴向应力及管板挠度，研究了不同换热器有限元分析方法的合理性，考察了管板横向变形和换热管外侧及筒体内侧施加的壳程压力对筒体轴向应力的影响，以及换热管对换热器管板的支撑作用。