【摘 要】
：
软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品
【基金项目】
：
高可信嵌入式软件工程技术实验室开放基金课题资助(HCESET-2019-3)
论文部分内容阅读
软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.
其他文献
[本刊讯]2012年6月5日下午,“中美公共管理学术期刊峰会”在中国人民大学举行,这是国内公共管理学界的首次学术期刊峰会。该峰会由美国行政管理学会会长、美国中佛罗里达大学
护理不良事件是指在护理过程中发生的、不在计划中的、未预计到的或通常不希望发生的事件[1]。不良事件的发生不仅可 以给患者带来身体和心理多重伤害,也会造成医疗资源的浪
集体土地征收制度改革的关键在于保障农民的土地财产权,分配好土地在征收出让过程中产生的增值收益,在各方主体的利益需求与矛盾冲突中寻找一种新的制度平衡。本文在分析现行
目前众多针对政绩考核问题的研究缺乏对其“完全量化”模型基础的分析和批判。“完全量化”政绩考核模型的前提假设是虚假的,因为效率无法代替价值主导公共领域。随着政府职
经过改革开放以来六次集中的行政管理体制改革，政府“经济调节、市场监管、社会管理、公共服务”的基本职能已经确立。2008年改革以来，又对转变政府职能提出了进一步要求。政府
通过调节焊接热输入、焊前预热及焊后缓冷等方法,研究了TiAl合金的电子束焊接裂纹敏感性,并测试了焊接接头的室温及高温拉伸性能。结果表明,减小焊接热输入和焊前预热及焊后
在中国,目标的设置与评估主要是一个集中化的过程,是贯彻上级政策的一种手段。当绩效评估不可避免地和地位、荣誉、晋升或收入联系在一起时,指标体系的设计实际上成为奖惩体
目的:探讨低负压引流与单纯闭式引流在肺叶切除术病人中的应用效果。方法:选取于医院胸外科接受胸腔镜肺叶切除术治疗的74例肺癌病人,采用前瞻性随机对照研究方法,用信封法将
[本刊讯]2012年6月11日,主题为“科学发展观视域中的政府管理”的首届科学报告会在国家行政学院隆重开幕。国家行政学院党委书记、常务副院长李建华出席报告会并讲话,来自中
风险是未来损失的可能性,具有社会建构的特征,“面粉增白剂”之争验证了建构主义风险理论。在建构主义视域中,风险治理不仅要使风险最小化,还要实现其他的政治和道德目标,并