-
题名一种嵌入式软件安全漏洞的代码加固方法
被引量：6
- 1
-
-
作者
董云卫
张涵博
李勇军
-
机构
西北工业大学计算机学院
-
出处
《空间控制技术与应用》
CSCD
北大核心
2021年第2期17-24,共8页
-
基金
高可信嵌入式软件工程技术实验室开放基金课题资助(HCESET-2019-3)。
-
文摘
软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.
-
关键词
安全漏洞检测
软件强制安全
嵌入式软件
代码加固
软件定义
-
Keywords
security bug detection
software security enforcement
embedded software
code reinforcement
software definition
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
