【摘 要】
：
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题，密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量，覆盖率低，难以满足密码算法核这一安全关键部件的安全验证需求。从信息流安全的角度研究密码算法核安全验证与漏洞检测方法。该方法能够对密码算法核中全部逻辑信息流进行精确度量，实现对机密性和完
【基金项目】
：
国家自然科学基金（62074131）； 陕西省自然科学基金（2021JQ-123）资助；
论文部分内容阅读
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题，密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量，覆盖率低，难以满足密码算法核这一安全关键部件的安全验证需求。从信息流安全的角度研究密码算法核安全验证与漏洞检测方法。该方法能够对密码算法核中全部逻辑信息流进行精确度量，实现对机密性和完整性等安全属性的形式化验证，可通过捕捉有害信息流动来检测密码算法核设计中潜在的安全隐患。实验结果表明信息流安全验证方法对密码算法核中的设计缺陷和旁路信道导致的敏感信息泄漏有很好的检测效果。
其他文献
在分析境内外关于野生动物通道研究成果的基础上,结合工程案例,从外业调查、通道选址与选型、设计参数选取、辅助设施设置等方面详细总结了野生动物通道桥的设计方法。最后,对我国野生动物通道在工程建设方面存在的一些不足提出了一点建议。
目的 探讨四阶段功能锻炼对乳腺癌患者根治术后肩关节活动功能、生活质量的影响。方法 选取本科收治的65例2019年1月—2020年8月乳腺癌患者作为研究对象，均行根治术治疗，随机分为对照组（常规功能锻炼，n=32）、研究组（四阶段功能锻炼，n=33），比较锻炼前、锻炼6个月后患侧肩关节前屈、后伸、内收、内旋、外旋、外展活动度，术后并发症发生率，以及生活质量（generic quality of li
为了了解陕西省大学生对学校体育政策的态度现状及特征,选取3所具有代表性的学校进行了抽样问卷调查,通过与全国调查数据的对比分析,结果表明:⑴陕西省大学生总体上对学校体育政策内容、实施过程和实施效果认同度较高,对学校体育政策比较满意,愿意遵守学校体育政策的规定和要求,但还是有不少学生对学校体育政策持消极态度。陕西省大学生对学校体育政策知晓度较低,表明学校没有对学生进行足够的学校体育政策宣传教育。⑵陕西
近年来，网络直播带货成为“线上引流+实体消费”的数字经济新模式，受到广泛消费者的喜爱，但与此同时出现了直播电商的相关涉税问题，引起公众的广泛关注。本文在网络直播带货模式下对电商的纳税方式进行研究，并基于现实提出法律不完善、平台监管不力及虚开发票等问题，最后提出应从完善法律法规、加强数据监管及增加税法宣传等方面进行规范行业现状的建议。
乡村振兴,必须坚持教育先行。当前,我国农村教育取得了一定成就,但是仍然存在教育投入不足,办学条件落后,师资水平低、流失率高以及农村学生缺失家庭教育等问题。民国时期,晏阳初曾在河北省定县进行了乡村改造实验,对我国乡村建设与发展有重要启示。在乡村振兴战略背景下,结合晏阳初的教育思想,加大财政投入,重视农村学校均衡发展,提高教师执教水平,注重发展家庭教育并全面推进素质教育,从而改善农村教育现状,实现乡村
力争在2060年前实现“碳中和”,是中国政府作出的重大决策.当前中国陆地生态系统碳汇大约可抵消7%～15%的人为CO2排放,因而在“碳中和”研究中受到广泛关注.文章基于生态系统碳循环原理,从生态系统长期动态的视角阐述了无干扰自然状态下生态系统碳汇最终趋零的变化规律,认为碳汇功能是生态系统碳收支过程响应环境变化的动态结果而非固有属性.在此基础上,分析了大气CO2浓度升高和植树造林对中国陆地生态系统碳
人口老龄化程度逐渐加深，给我国养老金的支付和年轻一代的抚养带来巨大压力.借鉴国外延迟退休政策，结合我国老龄化现状，以抚养比为突破口，调整人口年龄结构，对我国渐进式延迟退休政策进行了数学模型研究.
社交裂变营销是一种非常有效的低成本获取流量与客户的营销方式,已经被我国大量的企业所采用。本文主要分析社交裂变营销的基本概念、优势以及主要裂变方式,最后提出了企业采取社交裂变营销策略的主要对策建议。社交裂变营销策略概述目前,社交媒体已经成为人们生活的一部分,微信、微博、抖音等正在逐步改变人们的生活方式,