检索结果-维普期刊中文期刊服务平台

基于组件属性的远程证明被引量：33: 1; 作者秦宇冯登国《软件学报》 EI CSCD 北大核心 2009年第6期1625-1641,共17页; 提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤... 展开更多; 关键词可信计算可信平台模块远程证明基于属性的证明强RSA假设安全性证明; 在线阅读下载PDF 职称材料

基于属性的远程证明的隐私性分析被引量：8: 2; 作者李尚杰贺也平 +1 位作者刘冬梅袁春阳《通信学报》 EI CSCD 北大核心 2009年第S2期146-152,共7页; 远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交互双方的信任关系外,保护参与方的隐私是远程证明被广泛接受的... 展开更多; 关键词可信计算远程证明基于属性的证明配置隐私隐私分析; 在线阅读下载PDF 职称材料

标准模型下基于属性的高效证明方案: 3; 作者岳笑含巩书丽 +1 位作者周福才任义《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第4期495-499,共5页; 针对可信计算环境下,传统平台认证中所带来的平台配置信息泄露的问题,提出了一个新型的基于属性的证明方案.建立了该方案的模型,给出了方案的具体构建,包括初始化、属性证书颁发、属性证明及验证、撤销等算法.与现有基于属性的证明方案... 展开更多; 关键词基于属性的证明可信计算双线性配对标准模型通信代价; 在线阅读下载PDF 职称材料

一种高效的具有灵活属性证书状态校验机制的PBA方案被引量：2: 4; 作者周福才岳笑含 +1 位作者白洪波徐剑《计算机研究与发展》 EI CSCD 北大核心 2013年第10期2070-2081,共12页; 可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如... 展开更多; 关键词可信计算基于属性的证明本地验证者撤销证明不可伪造性配置隐私性; 在线阅读下载PDF 职称材料

一种基于BB+签名的PBA方案: 5; 作者岳笑含周福才孙玮《计算机科学》 CSCD 北大核心 2012年第8期26-30,共5页; 在可信计算环境中,为了弥补原有可信计算组织(TCG)提出的二进制证明方案的缺陷,提出了一种新型的基于属性的证明(Property-Based Attestation,PBA)方案。首先介绍了基于属性的证明思想及其安全模型;然后基于改进的BB+签名技术给出了一... 展开更多; 关键词可信计算基于属性的证明 BB+签名; 在线阅读下载PDF 职称材料

题名基于组件属性的远程证明被引量：33: 1; 作者秦宇冯登国; 机构中国科学院软件研究所信息安全国家重点实验室中国科学院研究生院; 出处《软件学报》 EI CSCD 北大核心 2009年第6期1625-1641,共17页; 基金国家高技术研究发展计划(863)No.2007AA01Z412~~; 文摘提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤销实现简单;本方案以组件承诺的方法保证属性证明的真实性,采用零知识证明实现平台组件的隐私性.基于强RSA假设,在Random Oracle模型下可被证明是安全的.实现的原型系统实验结果表明,组件属性证明是一种灵活、实用、高效的证明,对系统性能没有影响.; 关键词可信计算可信平台模块远程证明基于属性的证明强RSA假设安全性证明; Keywords trusted computing TPM （trusted platform module） remote attestation property-base attestation strong RSA assumption security proof; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于属性的远程证明的隐私性分析被引量：8: 2; 作者李尚杰贺也平刘冬梅袁春阳; 机构中国科学院软件研究所基础软件工程中心中国科学院研究生院国家计算机网络应急技术处理协调中心; 出处《通信学报》 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 职称材料

题名标准模型下基于属性的高效证明方案: 3; 作者岳笑含巩书丽周福才任义; 机构东北大学信息科学与工程学院沈阳市电信规划设计院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第4期495-499,共5页; 基金国家高技术研究发展计划项目(2009AA01Z122); 文摘针对可信计算环境下,传统平台认证中所带来的平台配置信息泄露的问题,提出了一个新型的基于属性的证明方案.建立了该方案的模型,给出了方案的具体构建,包括初始化、属性证书颁发、属性证明及验证、撤销等算法.与现有基于属性的证明方案相比,该方案的通信代价更小,计算效率更高.在标准模型下对该方案进行了安全性证明,结果说明了它的正确性、配置隐匿性及不可伪造性等.; 关键词基于属性的证明可信计算双线性配对标准模型通信代价; Keywords property-based attestation trusted computing bilinear pairs standard model transmission spending; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种高效的具有灵活属性证书状态校验机制的PBA方案被引量：2: 4; 作者周福才岳笑含白洪波徐剑; 机构东北大学软件学院沈阳工业大学信息科学与工程学院东北大学信息科学与工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2013年第10期2070-2081,共12页; 基金国家科技重大专项基金项目(2013ZX03002006) 国家"八六三"高技术研究发展计划基金项目(2009AA01Z122) +1 种基金沈阳市科学技术计划项目(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 职称材料

题名一种基于BB+签名的PBA方案: 5; 作者岳笑含周福才孙玮; 机构东北大学信息科学与工程学院; 出处《计算机科学》 CSCD 北大核心 2012年第8期26-30,共5页; 基金国家高技术研究发展计划(2009AA01Z122) 辽宁省自然科学基金(20062023)资助; 文摘在可信计算环境中,为了弥补原有可信计算组织(TCG)提出的二进制证明方案的缺陷,提出了一种新型的基于属性的证明(Property-Based Attestation,PBA)方案。首先介绍了基于属性的证明思想及其安全模型;然后基于改进的BB+签名技术给出了一个具体的基于属性的证明构造方案,并与其他方案在性能上进行了比较;最后在随机预言模型下证明了该方案具有配置隐私及不可伪造等安全性。; 关键词可信计算基于属性的证明 BB+签名; Keywords Trusted computing Property-based attestation BB＋ signature; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于组件属性的远程证明	秦宇冯登国	《软件学报》 EI CSCD 北大核心	2009	33	在线阅读下载PDF 职称材料
2	基于属性的远程证明的隐私性分析	李尚杰贺也平刘冬梅袁春阳	《通信学报》 EI CSCD 北大核心	2009	8	在线阅读下载PDF 职称材料
3	标准模型下基于属性的高效证明方案	岳笑含巩书丽周福才任义	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
4	一种高效的具有灵活属性证书状态校验机制的PBA方案	周福才岳笑含白洪波徐剑	《计算机研究与发展》 EI CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
5	一种基于BB+签名的PBA方案	岳笑含周福才孙玮	《计算机科学》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料