期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于交互式马尔可夫链的可信动态度量研究
被引量：
9
1
作者
庄琭
蔡勉
沈昌祥
《计算机研究与发展》
EI
CSCD
北大核心
2011年第8期1464-1472,共9页
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描...
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
展开更多
关键词
可信
计算
可信动态度量
交互式马尔可夫链
功能
度量
性能
度量
在线阅读
下载PDF
职称材料
基于行为的可信动态度量的状态空间约简研究
被引量：
2
2
作者
庄琭
沈昌祥
蔡勉
《计算机学报》
EI
CSCD
北大核心
2014年第5期1071-1081,共11页
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系...
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系统模型描述行为系统,通过事件结构模型研究行为关系,依据行为关系对变迁系统中各条路径进行重构,合并重构路径中相同的路径,实现变迁关系集约简,缩小状态空间.通过上述方法缓解了状态空间爆炸,并且,根据约简后的状态空间得到面向行为的可信动态度量的行为预期,增加细粒度动态度量方法在复杂系统中应用的可行性.
展开更多
关键词
可信动态度量
细粒度
度量
状态空间约简
行为关系
行为预期获取
网络安全
信息安全
在线阅读
下载PDF
职称材料
层次化行为可信性验证
被引量：
1
3
作者
庄琭
蔡勉
沈昌祥
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2012年第9期1396-1401,共6页
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证...
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.
展开更多
关键词
可信
计算
可信动态度量
行为
可信
性验证
层次化方法
在线阅读
下载PDF
职称材料
题名
基于交互式马尔可夫链的可信动态度量研究
被引量：
9
1
作者
庄琭
蔡勉
沈昌祥
机构
北京工业大学计算机学院
可信计算北京市重点实验室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第8期1464-1472,共9页
基金
国家“九七三”重点基础研究发展计划基金项目(2007CB311100)
国家“八六三”高技术研究发展计划基金项目(2009AA012437)
“核高基”国家科技重大专项基金项目(2010ZX01037-001-001)
文摘
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
关键词
可信
计算
可信动态度量
交互式马尔可夫链
功能
度量
性能
度量
Keywords
trusted computing
trusted dynamic measurement
interactive Markov chains
functionality measurement
performance measurement
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于行为的可信动态度量的状态空间约简研究
被引量：
2
2
作者
庄琭
沈昌祥
蔡勉
机构
北京工业大学计算机学院
可信计算北京市重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2014年第5期1071-1081,共11页
基金
国家"九七三"重点基础研究发展规划项目基金(2007CB311100)
国家"八六三"高技术研究发展计划项目基金(2009AA012437)
+2 种基金
国家科技重大专项基金(2010ZX01037-001-001
2012ZX03002003)
北京自然科学基金面上项目(4122012)资助~~
文摘
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系统模型描述行为系统,通过事件结构模型研究行为关系,依据行为关系对变迁系统中各条路径进行重构,合并重构路径中相同的路径,实现变迁关系集约简,缩小状态空间.通过上述方法缓解了状态空间爆炸,并且,根据约简后的状态空间得到面向行为的可信动态度量的行为预期,增加细粒度动态度量方法在复杂系统中应用的可行性.
关键词
可信动态度量
细粒度
度量
状态空间约简
行为关系
行为预期获取
网络安全
信息安全
Keywords
trusted dynamic measurement
fine grained measurement
state space reduction
behavior relationship
obtaining behavior expectation
network security
information security
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
层次化行为可信性验证
被引量：
1
3
作者
庄琭
蔡勉
沈昌祥
机构
北京工业大学计算机学院
可信计算北京市重点实验室
出处
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2012年第9期1396-1401,共6页
基金
国家'973'计划资助项目(2007CB311100)
国家'863'计划资助项目(2009AA012437)
国家'核高基'资助项目(2010ZX01037-001-001)
文摘
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.
关键词
可信
计算
可信动态度量
行为
可信
性验证
层次化方法
Keywords
trusted computing
trusted dynamic measurement
verification of behavior trustworthiness
hierarchical method
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于交互式马尔可夫链的可信动态度量研究
庄琭
蔡勉
沈昌祥
《计算机研究与发展》
EI
CSCD
北大核心
2011
9
在线阅读
下载PDF
职称材料
2
基于行为的可信动态度量的状态空间约简研究
庄琭
沈昌祥
蔡勉
《计算机学报》
EI
CSCD
北大核心
2014
2
在线阅读
下载PDF
职称材料
3
层次化行为可信性验证
庄琭
蔡勉
沈昌祥
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2012
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
