期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于属性的远程证明的隐私性分析
被引量:
8
1
作者
李尚杰
贺也平
+1 位作者
刘冬梅
袁春阳
《通信学报》
EI
CSCD
北大核心
2009年第S2期146-152,共7页
远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交互双方的信任关系外,保护参与方的隐私是远程证明被广泛接受的...
远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交互双方的信任关系外,保护参与方的隐私是远程证明被广泛接受的必要条件之一。基于属性的远程证明应运而生,并成为广泛接受方案。但是通过分析,基于属性的证明方式并不是天然地具有隐私保护能力。基于属性证明的隐私保护能力与基于属性证明的构建以及恶意验证方用于获取证明平台配置隐私的方法和以及这些方法的能力有关。提出了几种可资验证方利用的配置隐私分析方法,讨论它们的特点和局限,为进一步研究基于属性的证明提供参考。
展开更多
关键词
可信计算
远程证明
基于属性的证明
配置隐私
隐私
分析
下载PDF
职称材料
一种高效的具有灵活属性证书状态校验机制的PBA方案
被引量:
2
2
作者
周福才
岳笑含
+1 位作者
白洪波
徐剑
《计算机研究与发展》
EI
CSCD
北大核心
2013年第10期2070-2081,共12页
可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如...
可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如差别化服务及匿名性破坏等问题.因此针对在可信计算环境下传统二进制证明中所带来的平台配置信息泄露等问题,提出了一种新型的基于属性证明方案(property-based attestation,PBA).该方案具有属性证书状态校验机制灵活、方案整体计算代价小及随机预言模型下可证安全等特点.利用本地验证者撤销的技术,设计了方案的模型,定义了方案的安全性,给出了方案的具体构建,并在随机预言模型下对该方案进行了安全性证明,证明其满足正确性、证明不可伪造性及配置隐私性等安全性质.最后将提出的PBA方案与现有PBA方案在计算代价和证明值长度方面分别进行了比较,比较表明该方案同时具有实用、高效的特点.
展开更多
关键词
可信计算
基于属性的证明
本地验证者撤销
证明不可伪造性
配置隐私
性
下载PDF
职称材料
一种基于环签名的属性配置远程证明方案
被引量:
2
3
作者
张鑫
杨晓元
朱率率
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2016年第2期117-121,共5页
针对二进制证明中的平台配置泄露的问题,本文提出一种基于属性的远程证明方案.借鉴公钥基础设施中的证书撤销列表思想,提出属性配置列表.采用环签名,签名前利用属性配置列表确定环签名成员,实现了对平台配置的证明.该方案保证了平台配...
针对二进制证明中的平台配置泄露的问题,本文提出一种基于属性的远程证明方案.借鉴公钥基础设施中的证书撤销列表思想,提出属性配置列表.采用环签名,签名前利用属性配置列表确定环签名成员,实现了对平台配置的证明.该方案保证了平台配置证明的隐私,利用属性配置列表解决了无第三方的PBA方案中的配置列表协商问题,有效降低了证书颁发方的负担,可以在离线状态下完成平台配置证明.本文设计了属性配置远程证明方案的模型,给出了具体的构建,并证明方案的安全性,证明其满足正确性,不可伪造性和配置隐私性.
展开更多
关键词
可信计算
远程证明
属性证明
配置
列表
配置隐私
性
原文传递
题名
基于属性的远程证明的隐私性分析
被引量:
8
1
作者
李尚杰
贺也平
刘冬梅
袁春阳
机构
中国科学院软件研究所基础软件工程中心
中国科学院研究生院
国家计算机网络应急技术处理协调中心
出处
《通信学报》
EI
CSCD
北大核心
2009年第S2期146-152,共7页
基金
国家自然科学基金资助项目(90818012)
中国科学院知识创新工程重要方向项目(KGCXZ-YW-125)~~
文摘
远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交互双方的信任关系外,保护参与方的隐私是远程证明被广泛接受的必要条件之一。基于属性的远程证明应运而生,并成为广泛接受方案。但是通过分析,基于属性的证明方式并不是天然地具有隐私保护能力。基于属性证明的隐私保护能力与基于属性证明的构建以及恶意验证方用于获取证明平台配置隐私的方法和以及这些方法的能力有关。提出了几种可资验证方利用的配置隐私分析方法,讨论它们的特点和局限,为进一步研究基于属性的证明提供参考。
关键词
可信计算
远程证明
基于属性的证明
配置隐私
隐私
分析
Keywords
trusted computing
platform attestation
property-based attestation
configuration privacy
privacy analysis
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种高效的具有灵活属性证书状态校验机制的PBA方案
被引量:
2
2
作者
周福才
岳笑含
白洪波
徐剑
机构
东北大学软件学院
沈阳工业大学信息科学与工程学院
东北大学信息科学与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第10期2070-2081,共12页
基金
国家科技重大专项基金项目(2013ZX03002006)
国家"八六三"高技术研究发展计划基金项目(2009AA01Z122)
+1 种基金
辽宁省百千万人才工程项目(2011921071)
沈阳市科学技术计划项目(F12-277-1-41)
文摘
可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如差别化服务及匿名性破坏等问题.因此针对在可信计算环境下传统二进制证明中所带来的平台配置信息泄露等问题,提出了一种新型的基于属性证明方案(property-based attestation,PBA).该方案具有属性证书状态校验机制灵活、方案整体计算代价小及随机预言模型下可证安全等特点.利用本地验证者撤销的技术,设计了方案的模型,定义了方案的安全性,给出了方案的具体构建,并在随机预言模型下对该方案进行了安全性证明,证明其满足正确性、证明不可伪造性及配置隐私性等安全性质.最后将提出的PBA方案与现有PBA方案在计算代价和证明值长度方面分别进行了比较,比较表明该方案同时具有实用、高效的特点.
关键词
可信计算
基于属性的证明
本地验证者撤销
证明不可伪造性
配置隐私
性
Keywords
trusted computing
property-based attestation (PBA)
verifier-local revocation
attestation unforgeability
configuration privacy
分类号
TP309.07 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种基于环签名的属性配置远程证明方案
被引量:
2
3
作者
张鑫
杨晓元
朱率率
机构
网络与信息安全武警部队重点实验室
武警工程大学电子技术系
出处
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2016年第2期117-121,共5页
基金
国家自然科学基金资助项目(61402530)
武警工程大学基础研究基金(WJY201520)资助项目
文摘
针对二进制证明中的平台配置泄露的问题,本文提出一种基于属性的远程证明方案.借鉴公钥基础设施中的证书撤销列表思想,提出属性配置列表.采用环签名,签名前利用属性配置列表确定环签名成员,实现了对平台配置的证明.该方案保证了平台配置证明的隐私,利用属性配置列表解决了无第三方的PBA方案中的配置列表协商问题,有效降低了证书颁发方的负担,可以在离线状态下完成平台配置证明.本文设计了属性配置远程证明方案的模型,给出了具体的构建,并证明方案的安全性,证明其满足正确性,不可伪造性和配置隐私性.
关键词
可信计算
远程证明
属性证明
配置
列表
配置隐私
性
Keywords
trusted computing
remote attestation
property attestation
configuration list
configuration privacy
分类号
TP309 [自动化与计算机技术—计算机系统结构]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于属性的远程证明的隐私性分析
李尚杰
贺也平
刘冬梅
袁春阳
《通信学报》
EI
CSCD
北大核心
2009
8
下载PDF
职称材料
2
一种高效的具有灵活属性证书状态校验机制的PBA方案
周福才
岳笑含
白洪波
徐剑
《计算机研究与发展》
EI
CSCD
北大核心
2013
2
下载PDF
职称材料
3
一种基于环签名的属性配置远程证明方案
张鑫
杨晓元
朱率率
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2016
2
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部