论文部分内容阅读
提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法．该方法用3个二元条件谓词表示不同个体之间的关系,并给出了实体认证规则、信任规则和信任扩展规则，对信任度定义了一个概率模型，该模型能反映约束条件如何影响信任度．概率模型加条件谓词逻辑能够对一个PKI信任模型进行更精确的描述．
基于概率和条件逻辑的PKI信任模型推理
【摘 要】
：
提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法．该方法用3个二元条件谓词表示不同个体之间的关系,并给出了实体认证规则、信任规则和信任扩展规则，对信任度定
【机 构】
：
电子科技大学卫士通信息安全联合实验室
【出 处】
：
小型微型计算机系统
【发表日期】
：
2006年1期
其他文献
研究了路由器运行PIM-SMv2组播协议时IPv6组播转发过程.针对分布式路由器,设计了组播转发表优化分布式存储及组播报文两级转发方案提高性能.分析及测试表明,该设计能够较大地
在传统遗传算法的基础上,引入FFD、BF近似算法的思想,建立了该类问题的求解算法模型,对求解过程进行了分析,并给出了一个钢结构项目的下料算例.实际使用表明,该方法的效果是
以Agent的意向系统为基础,分析了Bradshaw提出的两个会话模型:Inform和Offer.在这两个模型中,由于缺乏对合作方的有效责任,难以保证协作的顺利进行.在此基础上,对会话双方承
国医大师周仲瑛教授从医七十余载,长期致力于中医中药诊治疑难病证的研究,学验俱丰,对老年病的中医药诊治亦有独到之处。周老认为疑难病证多非一脏一腑为病,病变往往涉及多个
在基于隐马尔柯夫模型(HMM)的语音识别系统中,模型训练最常用的算法是BaumWelch算法.该算法具有快速收敛及保证每步迭代模型的似然概率单调增的优点.但它基于最大似然训练准
提出了一种平面介质结构格林函数的快速计算方法,得到了由有限项级数和简单超越函数构成的闭合形式格林函数.新算法不仅形式简单,便于数学处理和编程,而且使用方便,不需要任
具有非线性参数的QoS路由分为含有非线性约束条件的QoS路由和含有非线性优化目标的QoS路由两类，它们都是NP问题．提出了两种启发式算法求解这两类QOS路由优化问题问题．对第一类问
Ad Hoc网络分层结构中的簇头节点,因担负类似于路由器的数据转发功能,其具有的队列调度机制决定了数据包的传输能力、延迟和网络的QoS.本文在亏损加权轮循(DWRR)队列机制基础