-
题名基于源代码的指针分析算法的安全性改进
- 1
-
-
作者
魏磊
谢立
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机应用与软件》
CSCD
北大核心
2008年第12期9-11,共3页
-
基金
国家863计划项目(2003AA144010)
-
文摘
提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导致的攻击的漏报,同时还保持了原有算法复杂度不变。
-
关键词
指针分析
算法
类型系统
函数标签
-
Keywords
Pointer analysis Algorithm Type system Function tag
-
分类号
TP312C
[自动化与计算机技术—计算机软件与理论]
TN958
[自动化与计算机技术—计算机科学与技术]
-
-
题名物联网环境下嵌入式操作系统的安全性设计
被引量：6
- 2
-
-
作者
杨朋霖
陶利民
王海涛
-
机构
北京卫星信息工程研究所
-
出处
《微电子学与计算机》
CSCD
北大核心
2018年第11期115-119,共5页
-
基金
国防科技创新特区
-
文摘
本文通过结合可信计算技术,并根据未来物联网网络环境下操作系统应用程序相对固定、内核状态相对稳定的特点,设计具有函数标签检测和地址空间检测功能的安全操作系统.该安全检测机制通过在内核函数首尾两端设置检查点标签和在时钟中断处理历程中设置地址检查来判断操作系统的运行时状况.同时,可信计算芯片在提供系统启动校验等功能的同时,还能够提供相关数据的校验和保密存储功能,提高了系统性能和可信性.经过试验,该操作系统安全检测机制能够实时监控系统状态以发现系统的异常,为未来物联网网络环境下操作系统安全提供有力保障.
-
关键词
嵌入式操作系统安全
函数标签检测
地址空间检测
可信计算
-
Keywords
embedded operating system security
function signature check
address space check
TPM
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
