一种面向供应链信任计算的dtm模型

《一种面向供应链信任计算的dtm模型》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、一种面向供应链信任计算的DTM模型5.1模型的语法与语义在DTM模型中,语法包括:Agent常量.Agent常量采用带或不带下标的大写字母A,B和C表示,在实例中,也采用以大写字母开头的Agent简称来表示.Agent可以是一个用户,服务或进程,在信任管理中主要通过Agent公钥来标识一个Agent常量,例如AgentAlice可由其公-私钥对,来标识.时间变量.在不同时间,Agent的策略可能会不同,不同的时间采用,⋯表示.命题符号.一个命题符号可以采用带或不带下标的小写字母p,q,r表示,每个命题通常是对Agent身份、能力或属性的断言策略,例如命题p=“A

2、liceisastudent”,即表示对AgentAlice具有角色属性student的判断;命题q=“AlicehasReadper-missiononresourceService”,该命题实质为Agent的一个授权项,即访问控制策略声明三元组(subject,object,action).逻辑连接词.包括命题逻辑中的逻辑连接词,→,∧,∨,→.信念公式.信念是一个Agent在自身知识和经验基础之上的一种判断,是一种Agent与命题间的关系,我们将信念关系符号记作

3、≡,属于一个三元关系(A,t,p),即表示AgentA在时间t的策略可以推导出一个真命题p,即

4、存在信念公式(A,t)

5、≡p.一个公式F(不同公式可以采用下标来区分)可如下递归定义:(1)如果p是一个命题符号,则p是一个原子公式;(2)如果p是一个命题符号,则(A,t)

6、≡p是一个公式(亦称为信念公式);(3)如果F1,F2是公式,则通过逻辑连接词形成的F1∧F2,F1∨F2,F1→F2,→F1也是一个公式;在一个公式中,我们假定对于→,

7、≡,∧,∨,→,左边的连接符号要优于右边的连接符号.由多个公式组成的集合用带或不带下标的字母表示.DTM的语义.一个信任管理的模型是五元组结构=(,,,Σ,φ),其中是一个Agent集,是一个时间集,而且时间集是一个全序

8、集,即其中的时间元素存在全序关系;,是公式全集,为Agent的一个公式集,称为Agent的一个理论,Σ是Agent理论的集合,满足ΣA2,φ是一个映射×→Σ,表示AgentA在时间t的公式集(Agent的一个理论).对于AgentA在时间t的一条信念q,即公式F:(A,t)

9、≡q,如果该信念包含在其理论内,则等价于该命题q包含在其理论内,即((A,t)

10、≡q)∈φ(A,t)iffq∈φ(A,t).对公式的语义解释如下:(1)对于一个命题p,信念公式(A,t)

11、≡piffφ(A,t)4p,即AgentA在时间t存在信念p,当且仅当从相应的理论φ(A,t)=能够逻辑

12、推导出命题p.(2)对其他逻辑连接词形成公式的语义解释是自然的,不再赘述.5.2　模型的性质及应用在本节中,我们将讨论DTM的基本性质,对模型中公式的有效性、可满足性,Agent理论的协调性、等价性和单调性等概念给出形式化定义,并说明其在信任管理技术和系统中的应用.特别是,基于信念公式给出Agent间的信任定义,并给出了Agent间信任链成立的严谨证明.定理1.　在一个信任管理模型中,对于每个理论φ(A,t)=,存在如下等价关系:(1)(A,t)

13、≡piffφ(A,t)4p;(2)(A,t)

14、≡(p→q)iff(A,t)

15、≡p→(A,t)

16、≡q;(3)(A,t)

17、

18、≡→piff→((A,t)

19、≡p);(4)(A,t)

20、≡p∧qiff(A,t)

21、≡p∧(A,t)

22、≡q.证明.　对于关系(1),由模型的语义可知是显然成立的,该等价关系的直观含义为:命题p是AgentA在时间t已存在的策略定义或经过逻辑推导得出的一个真命题.对于关系(2),由关系(1)和命题逻辑的推理规则,证明过程如下:(A,t)

23、≡(p→q)iffφ(A,t)4(p→q)iffφ(A,t)4p→φ(A,t)4qiff(A,t)

24、≡p→(A,t)

25、≡q所以关系(2)成立;同理,对于关系(3)和(4)也可采用上述过程来证明.证毕.同时,在模型中的理论相应也包括如

26、下两条基本的逻辑推理规则:(R1)分离规则:；(R2)推广规则:定义1(公式的可满足性和有效性).　假设一个信任管理模型,对其中的一个AgentA,如果在时间t∈的一个理论φ(A,t)=,存在(A,t)

27、≡F,则称公式F对于AgentA是可满足的;如果在任意时间∈的理论φ(A,)=k,都存在(A,)

28、≡F,称公式F对于AgentA是有效的.可以看出,信任管理模型中的时间集很关键,公式的有效性是针对内的所有元素而言.在开放的网络计算环境中,该定义主要用于刻画已达成契约的协作策略,即在形成协作联盟的生命周期内,这些策略所表达的公式是一直成立的,即该公式是有效的.而且

29、,基于该定义容易验证如下