期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Hades高可信架构中分区间信息流控制的研究
被引量:
2
1
作者
杨霞
古和亦
+2 位作者
汪强
桑楠
熊光泽
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2012年第1期74-79,共6页
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通...
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。
展开更多
关键词
BLP安全模型
高可信嵌入式操作系统体系架构
信息流控制
多级安全
可信分离内核
下载PDF
职称材料
基于信息流的可信操作系统度量架构
被引量:
3
2
作者
胡浩
张敏
冯登国
《中国科学院研究生院学报》
CAS
CSCD
北大核心
2009年第4期522-529,共8页
将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为...
将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为硬件信任根,引入信息流完整性,并提出了可信操作系统度量架构:BIFI.实验表明,BIFI不仅能很好地保护信息流完整性,而且对现有系统的改动很少,保证了效率.
展开更多
关键词
操作系统完整性
信息流
可信计算
完整性度量
下载PDF
职称材料
用信息流控制保证软件可信运行
被引量:
1
3
作者
张来顺
《计算机应用与软件》
CSCD
2011年第4期289-293,共5页
提出一种基于信息流控制来保证软件可信运行的方法。首先设计一种信息流控制模型,该模型的访问规则、传播规则和感染规则基本涵盖了软件在操作系统运行过程中产生信息流的主要类型。其次,设计一种策略描述语言,该语言使软件管理者可以...
提出一种基于信息流控制来保证软件可信运行的方法。首先设计一种信息流控制模型,该模型的访问规则、传播规则和感染规则基本涵盖了软件在操作系统运行过程中产生信息流的主要类型。其次,设计一种策略描述语言,该语言使软件管理者可以以一种较为直观的方式描述所期望的软件信息流。在Linux内核部分实现原型系统,实验证明该方法可以控制软件所产生的信息流,从信息流角度保证软件的可信运行。
展开更多
关键词
信息流
可信
操作系统
标签
下载PDF
职称材料
题名
Hades高可信架构中分区间信息流控制的研究
被引量:
2
1
作者
杨霞
古和亦
汪强
桑楠
熊光泽
机构
电子科技大学计算机科学与工程学院
中国人民武装警察部队警官学院
许继昌南通信设备有限公司
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2012年第1期74-79,共6页
基金
国家863计划(2007AA01Z131)
文摘
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。
关键词
BLP安全模型
高可信嵌入式操作系统体系架构
信息流控制
多级安全
可信分离内核
Keywords
BLP security model
high-
trust
ed architecture of embedded
operating
system
information
flow
control
multi-level security
trust
ed separation kernel
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于信息流的可信操作系统度量架构
被引量:
3
2
作者
胡浩
张敏
冯登国
机构
中国科学技术大学电子工程与信息科学系
中国科学院软件研究所信息安全国家重点实验室
信息安全共性技术国家工程研究中心
出处
《中国科学院研究生院学报》
CAS
CSCD
北大核心
2009年第4期522-529,共8页
基金
国家科技支撑计划(2006BAH02A02)
国家高技术研究发展计划(863)(2006AA01Z454
2007AA01Z412)资助
文摘
将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为硬件信任根,引入信息流完整性,并提出了可信操作系统度量架构:BIFI.实验表明,BIFI不仅能很好地保护信息流完整性,而且对现有系统的改动很少,保证了效率.
关键词
操作系统完整性
信息流
可信计算
完整性度量
Keywords
operating
system
integrity,
information
flow
,
trust
ed computing, integrity measurement
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
用信息流控制保证软件可信运行
被引量:
1
3
作者
张来顺
机构
中国人民解放军信息工程大学电子技术学院
出处
《计算机应用与软件》
CSCD
2011年第4期289-293,共5页
文摘
提出一种基于信息流控制来保证软件可信运行的方法。首先设计一种信息流控制模型,该模型的访问规则、传播规则和感染规则基本涵盖了软件在操作系统运行过程中产生信息流的主要类型。其次,设计一种策略描述语言,该语言使软件管理者可以以一种较为直观的方式描述所期望的软件信息流。在Linux内核部分实现原型系统,实验证明该方法可以控制软件所产生的信息流,从信息流角度保证软件的可信运行。
关键词
信息流
可信
操作系统
标签
Keywords
information flow trust operating system label
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Hades高可信架构中分区间信息流控制的研究
杨霞
古和亦
汪强
桑楠
熊光泽
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2012
2
下载PDF
职称材料
2
基于信息流的可信操作系统度量架构
胡浩
张敏
冯登国
《中国科学院研究生院学报》
CAS
CSCD
北大核心
2009
3
下载PDF
职称材料
3
用信息流控制保证软件可信运行
张来顺
《计算机应用与软件》
CSCD
2011
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部