论文部分内容阅读
为了简化PKI信任模型的逻辑推理，本文对Bakkali H E和他dtouni B I提出的两种推理方法进行了改进。首先通过使用三个谓词和三个约束条件给出与信任模型相关的定义和推理规则，并在此基础上提出了两个推论。可以证明，该方法能够有效地简化逻辑推理。最后，在层次结构模型中分析其推理过程。
一种PKI信任模型逻辑推理的改进方法
【摘 要】
：
为了简化PKI信任模型的逻辑推理，本文对Bakkali H E和他dtouni B I提出的两种推理方法进行了改进。首先通过使用三个谓词和三个约束条件给出与信任模型相关的定义和推理规则，并
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年8期
其他文献
简笔画艺术在现代很多领域中发展十分迅速,广泛应用于书刊杂志、影视动画、招贴广告、商品包装、环境装饰与设计、园林景观、城市规划与建筑设计等领域,其内容丰富、数量可观。如何快速、准确地绘制任一图像的简笔画效果是我们在本文中要讨论的问题,而用计算机来快速实现简笔画绘制在当今计算机图形图像处理领域尚未实现。针对目前的状况,本文提出一种利用计算机来模拟生成简笔画的新方法,让这一艺术形式能在计算机上得到重现。
随着Web应用的急剧增长,为了提高Web服务器的处理能力,人们提出和实现了多种Web Server结构。在此基础上,对Web应用提供性能保证和区分服务,实现QoS的控制成为目前Web发展所
对于电视新闻记者来说,采访并不是一件非常容易的事情,想要取得所需要的新闻信息需要经过精心设计。本文以电视新闻记者的采访工作应该遵循的原则为切入点,重点分析其在采访
FT64是一款自主研发的面向科学计算的64位流处理器。本文介绍了该处理器的微体系结构及其编程模型，重点讨论了片内流寄存器文件实现的关键技术；该流寄存器文件具有硬件代价低、
关联规则是数据挖掘研究的主要模式之一,其中布尔型关联规则的挖掘已经有比较成熟的系统和方法,而多值关联规则的挖掘则不然。本文提出的QARMM算法利用矩阵存储数据,将频繁项
健美操以其独特的魅力和它所带来的艺术上的视觉美感深受广大学生的喜欢,因此在高校中得到普及和发展。从艺术美学的角度出发,积极探索现代健美操的教学结构、课程开发的创新
本文介绍了独立分量分析算法(ICA)的原理、算法及其特点。采用ICA算法进行P-VEP的提取,考虑到仪器实际应用中单通道VEP信号的提取,本文通过引入虚拟通道,构造虚拟多通道,克服了ICA无法直接对单路信号进行独立分量分析的难题,实现P-VEP单通道单次的有效提取。经与目前临床通用的相干平均法比较,只需单通道、单次,在波形整体和P100潜伏期的提取上,效果显著,获得医师欢迎,很有进一步开发潜力。
【正】 各市、县、自治县人民政府,省政府直属各单位: 在2004年造林绿化工作中,各市、县政府切实加强领导,周密部署,精心组织,真抓实干,较好地完成了全年的造林绿化任务,为改