标准模型下基于属性的高效证明方案

来源 :东北大学学报:自然科学版 | 被引量 : 0次 | 上传用户:flash021
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对可信计算环境下,传统平台认证中所带来的平台配置信息泄露的问题,提出了一个新型的基于属性的证明方案.建立了该方案的模型,给出了方案的具体构建,包括初始化、属性证书颁发、属性证明及验证、撤销等算法.与现有基于属性的证明方案相比,该方案的通信代价更小,计算效率更高.在标准模型下对该方案进行了安全性证明,结果说明了它的正确性、配置隐匿性及不可伪造性等.
其他文献
从提升被评价对象竞争优势的角度对密度算子进行拓展研究,提出了竞争性密度算子的概念.首先,简要地介绍了密度算子,并给出了密度算子的具体表达式;基于此,给出了一种竞争规则
直肠癌术后盆腔内复发病灶常破坏骶尾骨,复发灶贴盆壁浸润生长,手术切除难度较大,或不能切除[1].传统放疗盆腔外照射常因病灶周围正常组织耐受量及复发病灶对射线敏感程度所
通过高温氧化实验研究了超纯21%Cr铁素体不锈钢高温氧化层的生长情况,并采用开发的模拟铁素体不锈钢热轧粘辊实验方法研究了表面氧化对超纯21%Cr铁素体不锈钢热轧粘辊的影响,探讨
通过底吹炼铜转炉水模型实验,研究底吹造锍转炉中喷嘴数量、喷嘴角度、喷嘴直径、气流速度等因素对转炉熔池气泡大小、气含率及液面喷溅的影响规律.结果表明:喷嘴直径的增大不利
面向软件服务在其完整生命周期中长期持续优化运行的需求,从环境建模的角度提出一种支持软件服务持续优化运行的服务环境模型.基于Pareto占优原则直接面向多维质量指标自底向
在关键词拍卖中,由于广告商对关键词的估价不能保证是最优的,导致其在竞拍过程蒙受相当的损失.针对这一问题,建立了关键词广告位置的胜标概率模型.在广义第二价格拍卖机制下,
为了实现热连轧精轧机组负荷分配的在线优化设定,提出一种轧制力成比例负荷分配的新算法CLAD算法(change load ratio by adjusting draft).其要点是通过调整压下量的偏差来使当
基于规则块体品位模型和地表模型,使用锥体排除法产生地质最优境界序列和地质最优开采体序列.建立动态排序模型,对每个境界的地质最优开采体序列进行动态排序,使用动态规划方
对超快冷条件下X80管线钢屈强比的影响因素进行了系统研究;结合光学电镜、扫描电镜和透射电镜对冲击断口和组织的观察,得出了超快冷条件下低屈强比X80管线钢强韧性匹配的最优工