期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
可信计算发展研究
被引量：
11
1
作者
马新强
黄羿
李丹宁
《计算机应用》
CSCD
北大核心
2009年第4期920-923,共4页
可信计算是目前信息安全技术研究的一个热点,它是在计算系统的基础上发展来的。从科学计算、容错计算到可信计算,介绍了可信计算的起源和发展,重点分析了可信计算属性、可信计算机系统和可信平台的体系结构等关键技术,并对目前可信计算...
可信计算是目前信息安全技术研究的一个热点,它是在计算系统的基础上发展来的。从科学计算、容错计算到可信计算,介绍了可信计算的起源和发展,重点分析了可信计算属性、可信计算机系统和可信平台的体系结构等关键技术,并对目前可信计算的研究现状和可信软件系统存在的难点问题进行了总结。
展开更多
关键词
可信计算
可信平台模块
信息安全
可信软件系统
下载PDF
职称材料
电力生产管理系统的可信构造方法研究
被引量：
2
2
作者
包铁
刘淑芬
王晓燕
《电子学报》
EI
CAS
CSCD
北大核心
2010年第9期2166-2171,共6页
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过...
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础.
展开更多
关键词
软件工程
可信软件
可信构造
信息管理系统
电力生产
下载PDF
职称材料
可信软件基与操作系统的隔离/交互机制
3
作者
宋元
刘旭晨
石文昌
《吉林大学学报（工学版）》
EI
CAS
CSCD
北大核心
2020年第4期1465-1471,共7页
在应对可信软件基(TSB)与操作系统(OS)隔离的同时进行交互方面,如何有效保障TSB可信执行和监控敏感操作的可信性方面还存在一定的不足。针对这种状况,本文提出一种TSB与OS之间的隔离/交互机制(IIM),该机制结合可信执行技术保证TSB的可...
在应对可信软件基(TSB)与操作系统(OS)隔离的同时进行交互方面,如何有效保障TSB可信执行和监控敏感操作的可信性方面还存在一定的不足。针对这种状况,本文提出一种TSB与OS之间的隔离/交互机制(IIM),该机制结合可信执行技术保证TSB的可信引导,借助内存虚拟化技术实现TSB的内存空间对于OS完全透明。此外,在可信芯片与可信策略的支持下,该机制能够实时监控TSB运行空间,动态触发针对TSB敏感操作的可信检查,通过一些敏感操作等动态触发,可以实现TSB对OS系统的保护和验证功能,从而实现两者之间的交互作用。本文实现了IIM的原型系统并对其进行了实验测试,实验结果表明,IIM能有效实现TSB与OS的隔离与交互,给OS带来的性能开销低于3%。
展开更多
关键词
可信软件基
操作系统
隔离/交互机制
IIM原型系统
可信执行技术
原文传递
题名
可信计算发展研究
被引量：
11
1
作者
马新强
黄羿
李丹宁
机构
重庆文理学院计算机学院
贵州科学院
出处
《计算机应用》
CSCD
北大核心
2009年第4期920-923,共4页
基金
国家自然科学基金资助项目(90718009)
贵州省高新技术发展及产业化项目(20085014)
重庆文理学院校内科研重点项目(Z2008SJ15Y2007SJ43)
文摘
可信计算是目前信息安全技术研究的一个热点,它是在计算系统的基础上发展来的。从科学计算、容错计算到可信计算,介绍了可信计算的起源和发展,重点分析了可信计算属性、可信计算机系统和可信平台的体系结构等关键技术,并对目前可信计算的研究现状和可信软件系统存在的难点问题进行了总结。
关键词
可信计算
可信平台模块
信息安全
可信软件系统
Keywords
trusted
computing
trusted
Platform
Module
（TPM）
information
security
trusted
software
system
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
电力生产管理系统的可信构造方法研究
被引量：
2
2
作者
包铁
刘淑芬
王晓燕
机构
吉林大学计算机科学与技术学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第9期2166-2171,共6页
基金
国家自然科学基金(No.60973041)
国家863高技术研究发展重点项目(No.2009AA010314)
吉林大学科学前沿与交叉学科创新项目(No.200903176)
文摘
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础.
关键词
软件工程
可信软件
可信构造
信息管理系统
电力生产
Keywords
software
engineering
trusted
software
trusted
construction
information
management
system
electric
power
production
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
可信软件基与操作系统的隔离/交互机制
3
作者
宋元
刘旭晨
石文昌
机构
中国人民大学信息学院
中国人民大学数据工程与知识工程教育部重点实验室
出处
《吉林大学学报（工学版）》
EI
CAS
CSCD
北大核心
2020年第4期1465-1471,共7页
基金
国家自然科学基金项目(61472429,U1836209)。
文摘
在应对可信软件基(TSB)与操作系统(OS)隔离的同时进行交互方面,如何有效保障TSB可信执行和监控敏感操作的可信性方面还存在一定的不足。针对这种状况,本文提出一种TSB与OS之间的隔离/交互机制(IIM),该机制结合可信执行技术保证TSB的可信引导,借助内存虚拟化技术实现TSB的内存空间对于OS完全透明。此外,在可信芯片与可信策略的支持下,该机制能够实时监控TSB运行空间,动态触发针对TSB敏感操作的可信检查,通过一些敏感操作等动态触发,可以实现TSB对OS系统的保护和验证功能,从而实现两者之间的交互作用。本文实现了IIM的原型系统并对其进行了实验测试,实验结果表明,IIM能有效实现TSB与OS的隔离与交互,给OS带来的性能开销低于3%。
关键词
可信软件基
操作系统
隔离/交互机制
IIM原型系统
可信执行技术
Keywords
trusted
software
base
operating
system
s
isolation/interaction
mechanism
IIM
prototype
system
trusted
execution
technology
分类号
TP309 [自动化与计算机技术—计算机系统结构]
原文传递
题名
作者
出处
发文年
被引量
操作
1
可信计算发展研究
马新强
黄羿
李丹宁
《计算机应用》
CSCD
北大核心
2009
11
下载PDF
职称材料
2
电力生产管理系统的可信构造方法研究
包铁
刘淑芬
王晓燕
《电子学报》
EI
CAS
CSCD
北大核心
2010
2
下载PDF
职称材料
3
可信软件基与操作系统的隔离/交互机制
宋元
刘旭晨
石文昌
《吉林大学学报（工学版）》
EI
CAS
CSCD
北大核心
2020
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
