论文部分内容阅读
针对可信计算中信任链理论缺乏深入分析验证的现状，分析了信任链理论中，可信与信任的内涵及其隐含的动态特性，借助时态逻辑的时间推理能力，建立了可信平台中的信任链的形式化模型，依据该模型，观察信任传递的过程，从而从理论上验证了信任在信任链上的可传递性，并得出信任在信任链上传递的充分条件。
基于时态逻辑的可信平台信任链建模
【摘 要】
：
针对可信计算中信任链理论缺乏深入分析验证的现状，分析了信任链理论中，可信与信任的内涵及其隐含的动态特性，借助时态逻辑的时间推理能力，建立了可信平台中的信任链的形式化模型
【机 构】
：
同济大学计算机科学与技术系,国家高性能计算机工程技术中心同济分中心
【出 处】
：
计算机科学
【发表日期】
：
2008年4期
其他文献
随着多媒体技术、网络技术的飞速发展，各种各样的信息爆炸式增长，导致人们对信息检索的要求越来越迫切。本文提出了一个新颖的基于内容的图像检索模型，还提出了一种新颖的适合于
软件适应特定变化的能力对软件开发和维护都具有重要的影响。软件适应性（Software Flexibility）是反映软件适应变化能力的一项重要质量特征。实践说明软件体系结构设计在很大程
图像自动语义标注是基于内容图像检索中很重要且很有挑战性的工作。提出用语义约束的聚类方法对分割后的图像区域进行聚类,在图像标注阶段,使用贪心选择连接(GSJ)算法找出聚类区域的独立子集,然后使用贝叶斯理论进行语义标注。对图像进行标注以后,使用标注的关键字进行检索。在一个包含500幅图像的图像库进行实验,结果表明,提出的方法具有较好的检索性能。
针对三维模型传输技术中的模型简化问题,以边收缩算法思想为基础,应用网络节点频度中心理论(Degree Centrality),提出并实现了一种保持几何封闭性的模型简化方法。该方法能在保证简化模型逼真度的同时较好地保持模型的几何封闭性,避免孤立面的产生,并且生成了渐进网格文件,为模型提供了连续多分辨率的模型重建。实验证明了该方法的有效性。
本文介绍了基于灰度形态学的多方向边缘检测算法。基于边缘的多方向特征,构造了多方向的结构元素,并将边缘检测的过程与形态学开闭滤波相结合,提出了一种新的边缘检测算法。该算法在较好地检测图像边缘的同时很好地抑制了噪声。
在ACJT方案的基础上实现了一成员可撤销的群盲签名方案。借鉴陈的成员撤销思想，对签名过程进行了改进，将原方案的两个零知识证明减少为一个，减少了模指数运算，缩短了签名长度，同时