对Peer-to-Peer网络环境下信任协商和信任协商策略进行了定义和形式化描述,提出了一种基于Petri网模型的信任协商策略建模分析方法,将资源、证书和资源访问策略映射为Petri网网元进行建模,通过可达分析寻找最优资源解锁序列。和其他信任协商策略建模方法相比,该方法具有较好的性能。
The trust negotiation and trust negotiation policy in Peer-to-Peer environment are defined and specified. Furthermore, a new modeling method for trust negotiation policy which is based on the Petri Net model is proposed. The method maps resources, credentials and access policies to Petri Net components, by which the negotiation is modelized to Petri Net model, The best disclosure sequence can be found by reachability analysis of the Petri Net model. The method has better capability compared with current modeling methods.