可信计算中远程自动匿名证明的研究

来源 :计算机学报 | 被引量 : 0次 | 上传用户:jklgfdjligjregjmreji
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
远程证明是可信计算的一个重要特征,目的是证明远程平台的身份或配置信息是否可信.常用的二进制证明方法不仅暴露了本地平台的配置信息,而且在现实情况中很难处理平台多样性问题.文中提出的可信计算中远程自动匿名证明方案利用环签名实现直接匿名证明,隐藏了平台的身份信息,以属性证书代替平台配置信息,可以有效防止私有信息的暴露,同时兼顾到对系统的升级和备份的可信评测.证明协议避免了使用零知识证明.分析结果显示,具有较高的实现效率.
其他文献
形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械
访存带宽是限制众核处理器性能提升的关键,将片上最后一级Cache设计为所有处理器核共享是必要的,在共享Cache中隔离放置冲突的数据,是提高共享Cache性能的关键.文中提出了缓存块
婴儿胆汁淤积性肝炎是一种较为常见的婴儿肝胆系统疾病,起病早,多数患儿于新生儿期即发病。婴儿胆汁淤积性肝炎的病因多样,如感染、遗传、先天性缺陷等,与成人胆汁淤积性肝炎
乙型肝炎病毒(Hepatitis B virus,HBV)是引起我国肝脏疾病最常见的病因,其感染后可无明显的临床症状,也可出现乏力、纳差、恶心、腹胀、黄疸等,无特异性的临床表现,部分患者