着色Petri网在信任协商中的应用研究.pdfVIP

第。。8卷第4期 湖 北 工 业 大 学 学报 2013年08月 V01．28No．4 JournalofHubei of UniversityTechnology Aug．2013 [文章编号]1003—4684(2013)04—0020—04 着色Petri网在信任协商中的应用研究 王淑平，陈宏伟，熊 磊 (湖北工业大学计算机学院，湖北武汉430068) [摘 要]自动信任协商是一种在陌生者之间通过双方不断迭代披露数字信任证书，从而建立信任的一种方法．提 出了一个基于着色Petri网的自动信任协商模型，给出了着色协商Petri网的定义及关系范式映射到着色Petri两 的方法，在此基础上阐述了模型的构建方法，给出一个建模实例并进行分析． [关键词]自动信任协商；协商策略；着色Petri网 [中图分类号]TP393 [文献标识码]：A 在互联网日益扩大及复杂的同时，如何在陌生 用证书可信度指数，使得模型交互直观度降低，但模 网络实体之间建立跨安全域的信任关系是一个值得 型简单，保护证书敏感属性和效率方面相对较好∞]． TrustNe— 研究的领域．自动信任协商(Automation 本文将两者结合起来，构成一个证书集，可信度 gotiation，ATN)的提出为解决该问题提供了一种 较为有效的方法． 着色Petri网引入到自动信任协商中来，提出一种 新的模型：着色协商Petri网． 1 自动信任协商 2．1 着色协商Petri网 着色协商Petri网是一个6元组Z一(P，丁；A， 自动信任协商是指通过迭代地交互披露信任 证、访问规则，使得资源的请求方和提供方自动地建 各自持有的证书及其可信度元组；丁表示信任证之 立信任关系D-21．在一般的自动协商模型中，存在两 间的运算关系；A表示信任双方协商机制对应的P 和丁之间的流关系；C称为颜色集；F是个阙值函 个对等实体，其中一方称之为Server方，是资源拥 有方或服务提供方；另一方被称之为Client方，是资数；M。表示网∑的初始标识．网系统中只存在库所 源的请求方或服务请求方．由于在陌生域，协商双方 和变迁或者变迁和库所之间的流关系，库所到变迁 都认为对方不是完全可信的，敏感的服务或信息需 之间的流关系表示^运算，变迁到库所之间的流关 要经过一定的协商建立信任后才能访问．在研究自 系表示V运算． 动信任协商的过程中，基于信任证书属性的信任协 对于P∈P，若M(p)一是，表示库所P中有志 商和基于信任证可信度的信任协商是其两种研究方 个托肯，当且仅当V 法m]． 中F(P，t)是库所p到变迁t的有向弧上的阙值函 数，则成变迁t∈T在标识M下是使能的，记做 M[￡；若t∈T在标识M下是使能的，则变迁t 2基于着色Petri网的ATN模型 可以触发，在标识M下触发以后，演变到新的标识 4。 基于信任证书属性的信任协商交互性直观，但 M’，记作M[fM 在证书敏感属性上的保护不足，效率不高．基于信任