基于petri网的自动信任协商理论研究.pdfVIP

第9卷 第4期 软 件 导 刊 Vo1．9NO．4 2010年 4月 SoftwareGuide ADr．2Ol0 基于petri网的自动信任协商理论研究 王 正 江 (湖jE工业大学 计算机学院，湖北 武汉 430068) 摘 要 ：在 以往的 自动信任协商研究中．Petri网很 少被 用于构造策略模型。提 出一种基于petri网的 自动信任协商进 行合理建模和分析 ，提供 了形式化建模方法和验证 ，并通过 VC程序对其进行 了模拟验证 ，达到 了对 自动信任协商理 论研 究的 目的。 关键词 ：自动信任协商；信任协商策略；Petri网；建模技术 ；仿真 中图分类号 ：TP393．09 文献标识码：A 文章编号：1672—7800(2010)04—0126—03 以分为两种策略：资源访问策略和资源解锁策略。 O 引言 (1)资源访 问策略 用包含布尔运算符^、V及括号的凭证逻辑表达式表示资 在 Internet日益孕育新技术和新应用 的同时，交互实体间 源访 问控制策略形式为 [I]P(cIs一 (cl1八c12八… ^clk)V… 的生疏性 以及共享资源的敏感性成为跨安全域信任建立的屏 V(ell^c12^… ^cln))，其语义为 (OWn(U，cl1)^… ^own(u， 障。因此，如何在两个陌生的实体之间建立相互的信任关系是 clk))V…V(own(u，cl1)^…八own(u，cln)){accept，reject}，其 网络安全的关键 问题 ，也是当前研究的热点方 向。自动信任协 中：函数 own：EntityxCredential-~{true，false}判断某实体是否持 商是解决该问题的一种新的、较为有效的方案 。 有某证书 ：accept表示允许向对方披露证书C或提供服务 S：而 本文针对 Peer～to—Peer网络环境下 自动信任协商中的若 rejeet表示拒绝向对方披露证 书 c或提供服务 S；l，11和 k为 自 干关键技术进行了研究．首先分析了 自动信任协商对于访问控 然数。cl1八C12^…^clk，…，cll^c12^…^cln等称为策略P 制策略描述的需求和访 问控制策略中元素间的逻辑关系 ，然后 的子句 ；PoLicy为访问控制策略集。访问控制策略对敏感资源／ 结合 Petri网图形化的模型描述 ，将资源 、证书和资源访 问策略 服务提供保护。p(c—true)表示证书c可无条件向对方披露 ；p 映射为Petri网网元进行建模 ，通过 VC语言编写的一个实例 (c—false)表示证书C在任何条件下均不向对方披露。若协商 寻找出可达分析寻找最优资源解锁序列，最后通过和其他信任