期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
属性远程证明中完整性测量的可信性证明
被引量:
4
1
作者
崔艳莉
沈昌祥
《计算机工程》
CAS
CSCD
北大核心
2010年第21期11-13,16,共4页
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在...
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性。
展开更多
关键词
可信计算
远程证明
谓词逻辑
完整性测量
可信属性权威
下载PDF
职称材料
题名
属性远程证明中完整性测量的可信性证明
被引量:
4
1
作者
崔艳莉
沈昌祥
机构
解放军信息工程大学电子技术学院
北京工业大学计算机科学与技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第21期11-13,16,共4页
基金
国家"973"计划基金资助项目(2007CB311100)
文摘
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性。
关键词
可信计算
远程证明
谓词逻辑
完整性测量
可信属性权威
Keywords
trusted
computing
remote
attestation
predicate
logic
integrity
measurement
trusted
property
authority
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
属性远程证明中完整性测量的可信性证明
崔艳莉
沈昌祥
《计算机工程》
CAS
CSCD
北大核心
2010
4
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部