论文部分内容阅读
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性。
属性远程证明中完整性测量的可信性证明
【摘 要】
：
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性。引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性。
【机 构】
：
解放军信息工程大学电子技术学院,北京工业大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2010年21期
【基金项目】
：
国家“973”计划基金资助项目（2007CB311100）
其他文献
超级节点网络中的超级节点可能成为网络性能的瓶颈并影响检索结果的统一排序,针对该问题提出一种并行查询和排序机制。给出类特征等索引建立方法和查询节点选择算法,减少超级
磁流变离合器是通过磁流变液的剪切应力传递转矩的器件.本文建立了圆筒式磁流变离合器的几何设计方法,得到了磁流变液传递的转矩和两圆筒间能产生磁流变效应的最小间隙的设计
在无线Mesh网络中，针对短期优先级问题提出一种具有QoS保障的接入控制算法。当网络负载较重时，暂停低优先级业务的传输，给高优先级业务更多的接入信道的机会，为高优先级业务提供Q
模拟天然软骨的“多孔渗透”和“梯度功能”特征,利用T-L法制备出多孔UHMWPE试样和梯度多孔UHMWPE/普通UHMWPE试样。观察了试样表面和断面的形貌,并对试样的相关性能进行测试
建立排课问题的数学优化模型,构建其基本求解框架,引入遗传算法并设计多种改进方案,包括新的二进制编码方案、初始种群生成方案、适应度函数设计方案、小生境策略、自适应交