基于Petri網的自動信任協(xié)商理論研究.pdf

1、在Internet日益孕育新應用和新技術的同時，交互實體間的生疏性以及共享資源的敏感性成為跨安全域信任建立的屏障。因此怎樣在兩個無信任關系的實體間建立信任關系，是當今研究的熱點之一。自動信任協(xié)商作為一種新型的有效的解決方案應運而生。
　　 自動信任協(xié)商策略是實現自動信任協(xié)商的核心問題，決定了可行的實體間交換證書的順序。因此，如何準確描述定義信任協(xié)商策略，如何提煉總結自動信任協(xié)商的關鍵技術，以及如何建模分析自動信任協(xié)商的相關策略，

2、是本文研究的重點問題。
　　 本文先針對P2P網絡環(huán)境下自動信任協(xié)商領域的相關技術和項目進行了調研，分析當前自動信任協(xié)商中所使用的主流技術以及自動信任協(xié)商的研究動態(tài)。在分析自動信任協(xié)商發(fā)展現狀的基礎上，總結自動信任協(xié)商研究中的基本概念，并對其重新進行了嚴格的定義。創(chuàng)新之處是將協(xié)商策略按照協(xié)商過程的實現，明確定義為兩部分：訪問控制策略和安全解鎖策略，方便下文建模的實現和讀者的理解。
　　 然后依次分析了自動信任協(xié)商對于訪問

3、控制策略描述的需求、訪問控制策略中元素間的邏輯關系以及Petri網的建?？尚行?，對自動信任協(xié)商過程建立基礎模型。創(chuàng)新之處是提出了一種新型直觀的基于Petri網的自動信任協(xié)商模型ATN-PN，因為作者通過研究Petri網理論，發(fā)現Petri網非常適合對具有并發(fā)性、并行異步性以及不確定性等特征的系統(tǒng)進行動態(tài)建模，而自動信任證書序列安全解鎖的過程恰符合上述特征。結合Petri網圖形化的模型表述和和數學描述，作者構造和實現了一個虛擬信任協(xié)商環(huán)境

4、VNegotiationField，將其中包含的資源、證書和訪問策略映射為Petri網網元進行建模，并通過VC程序設計實現ATN-PN原型系統(tǒng)。該系統(tǒng)通過VNegotiationField形式化的體現了尋求最優(yōu)化安全解鎖策略過程，驗證了本文提出的P2P網絡環(huán)境下的ATN-PN形式化框架模型以及實現技術方案能夠有效地解決目前自動信任協(xié)商理論研究中存在的最優(yōu)化解鎖問題。
　　 接著通過和其他信任協(xié)商策略建模方法相比較，論證無論在算法