关于信任模型的引见及争论.docxVIP

PAGE PAGE 1 关于信任模型的引见及争辩 关于信任模型的引见及争辩  刘升平   shpliu@http://./doc/173ddd244b35eefdc8d333e8.html   零代表完全不信任，一代表完全信任。这样，实体可以设相信任的阈值来确定能否值得信任。  2.模型定义:  假设分布式系统包含一些可通过连接相互通讯的实体，每个实体有独一的标识，有能够用来认证的私有信息，并且能够生成，读写任意连接上的任意信息。实体还有计算力量，如信息的加密和解密。具有认证其他实体力量的实体称为认证服务器(Authentication Server).  为了描述对实体的信任程度,定义成功/失败经受次数(Numbers of Positive/Negative Experience),这个值在每次与所信任的实体的事务处理完后加一或减一。另外，信任类(Trust Class)是指某一特定的任务，例如，密钥生成，时钟同步。在 BBK-Scheme 中，信任值的估量都是针对某一特殊信任类的。  3．直接信任和推举信任：  我们把信任分成直接信任(Direct Trust)和推举信任(Recommendation Trust)两类，直接信任是指一个实体信任另一实体完成某一任务（信任类）的力量，两实体之间可能有推举路径，也可能没有。推举信任是指一个实体信任另一实体推举别的实体的力量，推举信任值越大，实体对另一实体推举的实体信任程度越高。  直接信任可表示为：  DTrust x seq (P,Q )= V d  P直接信任Q当且仅当P对与信任类x晓得的全是成功经受，seq 是P到Q的推举路径上节点的集合，没有推举路径时，seq是空集。V 是对Q当被信任时表现好坏的估量，可用下式计算：  V d（P）=1-a p 0 其中，p是成功经受次数（Numbers of Positive Experiences），a 是考虑信任程度的阈值，它开头时为整个系统选定。a越大，要达到高的信任度，需要多次成功经受。假设a=0.8，信任值最少时0.9,则p至少是9.  推举信任可表示为：  RTrust x seq (P,Q)=V r with path Sp and target St  P推举信任Q 当且仅当P对于信任类x信任Q推举其他实体的力量，St是Q可以推举的实体的集合。Sp是Q到它推举的实体的推举路径集合。  给出成功经受次数p和失败经受次数n,推举信任值可有下式计算：  V r(p,n)=1-a p-n假如 pn;否则 Vr(p,n)=0  4.信任关系推导  假如A推举信任B，即A信任B 的推举力量，B推举c，那A 对B的直接信任值和推举信任值分别是多少呢？有以下规章：  规章一：  RTrust x seq1 (P,Q)= V r with path Sp and target St  ∩ DTrust x seq2(Q,R)=V d  ∩ R∈St  ∩ x∈seq2 = x∈Sp∩┓x∈{P}∪seq1  = DTrust(P,R)x seq3= V r* V d  其中，seq3=seq1∪{Q}∪seq2 ，V r* V d=1-（1- V d）Vr  要使存在推导，R必需可由Q推举，即R∈St，同时，假如x在Q到R的推举路径上，由Sp定义知，x属于Sp，且x不能是P或属于seq1，否则有循环推举现象，这是  BBK-Scheme力图避开的。  规章二：  RTrust x seq1 (P,Q)=V1 with path S p1 and target S t1  ∩RTrust x seq2 (P,Q)=V2 with path S p2 and target S t2  ∩x∈seq2∪{R}=x∈S p1┓x∈{P}∪seq1  = Ptrust(P,R) x seq3= V r·V d with path S p1∩S p2 with target S t1∩S t2  其中，seq3= seq1∪{Q}∪seq2  假如存在A到C 的多条推举路径，取平均值是一种可行的方法。  五．应用：  假如用户想找到一个值得信任的服务器，如密钥分发中心（KDC），即对于信任类x，找一个直接信任值至少为v的实体。我们可依据上述模型实现。考虑如下信任推导关系集：R Trust