论文部分内容阅读
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性。
属性远程证明中完整性测量的可信性证明
【摘 要】
：
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性。
【机 构】
：
解放军信息工程大学电子技术学院,北京工业大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2010年21期
【基金项目】
：
国家“973”计划基金资助项目（2007CB311100）
其他文献
超级节点网络中的超级节点可能成为网络性能的瓶颈并影响检索结果的统一排序,针对该问题提出一种并行查询和排序机制。给出类特征等索引建立方法和查询节点选择算法,减少超级
进入70年代、80年代,国外各测井公司相继推出先进的数控测井系统。我国为了满足油藏开发的需要,引进了一些先进的数控测井系统。西安石油勘探仪器总厂和江汉石油仪表厂分别引
以钛酸丁酯为前驱体，分别采用醋酸和盐酸为溶胶一凝胶法制备TiO2溶胶的酸催化剂，将制备的溶胶分别加入经阳离子表面活性剂十六烷基三甲基溴化铵改性的浙江临安和内蒙古膨润土中
磁流变离合器是通过磁流变液的剪切应力传递转矩的器件.本文建立了圆筒式磁流变离合器的几何设计方法,得到了磁流变液传递的转矩和两圆筒间能产生磁流变效应的最小间隙的设计
在无线Mesh网络中，针对短期优先级问题提出一种具有QoS保障的接入控制算法。当网络负载较重时，暂停低优先级业务的传输，给高优先级业务更多的接入信道的机会，为高优先级业务提供Q
随着生产测井任务的增加，下井仪的更新，以往的手动或半自动计量在精度、时间等方面都无法满足要求。全自动化液体计量装置采用改进的计量罐及相配套的接口电路和相应的软件，使油
模拟天然软骨的“多孔渗透”和“梯度功能”特征,利用T-L法制备出多孔UHMWPE试样和梯度多孔UHMWPE/普通UHMWPE试样。观察了试样表面和断面的形貌,并对试样的相关性能进行测试
建立排课问题的数学优化模型,构建其基本求解框架,引入遗传算法并设计多种改进方案,包括新的二进制编码方案、初始种群生成方案、适应度函数设计方案、小生境策略、自适应交
本文就遥测地震数据采集系统“系统1号”的CSM(相关/叠加器)中所采用的减少噪声的三种垂直叠加方法:直接垂直叠加法、逆功率规格化叠加法以及分段加权叠加法进行了分析,分别
随着油田的不断开发，油层水淹现象十分严重。由于油水之间的介电常数差别较大，从理论上讲，相位介电测井仪在水淹层测井方面应该具有较好的测量效果。但于由于该仪器本身还不够完