-
题名扩展的BLP模型及其应用
被引量:6
- 1
-
-
作者
胡勇强
伍红兵
俞海英
龙瑞
-
机构
解放军理工大学工程兵工程学院网络信息中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第8期123-125,共3页
-
文摘
分析经典BLP模型中的非可信主体当前敏感级fC和"宁静原则"存在的不合理性,针对该问题,利用动态变化的主体敏感级v-max/a-min代替主体当前敏感级fC。为解决完整性保护问题,提出一个扩展的BLP模型,模型中引入主体的完整性和主客体的可信度,对于客体可信度,从完整性和可信性2个方面进行保护,同时对主体的可信度采用动态变化原则,并给出一个EBLP模型在操作系统中的应用实例。
-
关键词
BLP模型
动态敏感级
可信度
完整性
-
Keywords
BLP model
dynamical sensitivity level
credibility
integrity
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名动态共享库保护方法研究
被引量:3
- 2
-
-
作者
徐艳湘
黄皓
胡勇强
-
机构
南京大学计算机软件新技术国家重点实验室
解放军理工大学工程兵工程学院网络信息中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第4期118-120,124,共4页
-
基金
国家“863”计划基金资助项目“分布式可信计算系统研究”(2007AA01Z409)
江苏省科技支撑计划基金资助项目“可信操作系统新技术研发”(BE2008124)
-
文摘
引入动态共享库机制能节约内存资源,并容易升级,但却带来安全隐患。针对该问题,研究动态链接机制,提出一种针对动态共享库的程序运行时监控和保护的方法。对共享库文件进行签名和验证,并对库函数调用实行监控。实验结果显示,该方法对于动态共享库的几种常见攻击方法有较好的防御作用。
-
关键词
动态共享库
数字签名
程序监控
-
Keywords
dynamic shared library
digital signature
program monitoring
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-