【摘 要】
：
提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方
【机 构】
：
中国科学院软件研究所信息安全国家重点实验室,中国科学院研究生院
【基金项目】
：
国家高技术研究发展计划(863)No.2007AA01Z412~~
论文部分内容阅读
提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤销实现简单;本方案以组件承诺的方法保证属性证明的真实性,采用零知识证明实现平台组件的隐私性.基于强RSA假设,在Random Oracle模型下可被证明是安全的.实现的原型系统实验结果表明,组件属性证明是一种灵活、实用、高效的证明,对系统性能没有影响.
其他文献
本文结合工业应用的需要，采用ＤＴＡ对Ｙ沸石及超稳Ｙ沸石ＦＳＥＹ、ＵＳＹ、ＨＳＹ、ＲｅＹ和ＳＲＮＹ水热处理前后的热稳定性进行了系统考察。结果表明，各类超稳Ｙ沸石的热稳定性都比Ｙ沸石高；水热处理前各种超稳Ｙ沸石热稳定性彼
用压力微反装置评价甲醇脱水生成二甲醚沸石催化剂的活性，用ＸＲＤ、２４００吸附仪和ＮＨ３－ＴＰＤ研究沸石催化剂的结构及表面酸性。试验结果表明，沸石表面的强酸中心是甲醇脱水生成二甲醚的活性中心。该
基于2011年江苏、四川两省720户中老年农民调查数据,以同龄的非独生子女父母为参照,对农村第一代已婚独生子女父母的养老心态及其影响因素进行探索性分析。结果表明,在对待自
<正>2005年9月13-16日在英国伦敦举办的2005英国国际防务展上.南非米尔科尔(Milkor)公司美国分公司首次展出了最新研制的MGL-140式40mm半自动转轮式榴弹发射器。该榴弹发射器
在原油、成品油管道输送过程中,输油泵是提供动力的核心设备。目前输油主泵完全被国外产品垄断。以国内某长输原油管道输油首站5#输油泵的数据单为主,研制了电机功率为2 100
东北秧歌历史悠久,是最具中国民族特色的非物质文化遗产之一。为此,本文通过文献资料法、访谈法等,论述了东北秧歌的发展及存在问题,结合时代特征,提出了东北秧歌传承的方向,
在近几年的高校毕业生就业市场上,虽然理工类专业毕业生社会需求量较大,就业形势相对较好,但是,随着高校毕业生的逐年增加,竞争在所难免,如何引导理工科毕业生有效就业已经成
<正> 塑料薄膜大棚可供育苗、栽培和留种用。同时也适用作防雨、遮阳,作为反季节蔬菜栽培的主要场所。利用蔬菜大棚栽培有利于加快我区“万元田”建设的进程。一、大棚结构及
变频调速在泵与风机的节能方面应用广泛,但在实际应用中往往由于对影响其节能效果的因素考虑不周,导致选择与使用存在着较大的盲目性,影响其节能效益的发挥。以水泵为例,针对
大学生消费的影响因素从大的方面划分，包括个人因素、家庭因素、环境因素等。本文通过生源地城乡类别、经济发达水平、年级三个因素与消费支出总额及食品支出、衣着支出、交际