帶時間特性的自動信任協(xié)商模型研究.pdf

1、隨著互聯(lián)網(wǎng)的蓬勃發(fā)展以及網(wǎng)絡(luò)應(yīng)用軟件的廣泛使用，網(wǎng)絡(luò)信息安全變得越來越重要。在當前動態(tài)開放的網(wǎng)絡(luò)環(huán)境中，各主體往往隸屬于不同的安全域，如何在陌生實體之間建立有效的信任關(guān)系以保障信息資源的共享安全，成為一個亟待解決的安全問題，這也是當前的一個熱點研究方向。自動信任協(xié)商是通過陌生實體雙方交互披露屬性證書來建立信任關(guān)系的一種方法，有效實現(xiàn)了跨安全域陌生實體之間的互操作、協(xié)作以及資源共享等。
　　本文首先介紹了自動信任協(xié)商的發(fā)展歷程以及國

2、內(nèi)外研究現(xiàn)狀，發(fā)現(xiàn)在當前的自動信任協(xié)商研究中均沒有對其進行嚴格的形式化定義，僅僅考慮與時間特性無關(guān)的其它方面，沒有考慮隨時間變化引起模型的動態(tài)變化，也沒有合理的信任協(xié)商會話調(diào)度策略，存在著死鎖現(xiàn)象以及拒絕服務(wù)攻擊。
　　為了解決上述問題，本文使用標準符號系統(tǒng)描述了自動信任協(xié)商的基本組件，并采用狀態(tài)變換系統(tǒng)形式化構(gòu)建了一個自動信任協(xié)商抽象模型；討論了自動信任協(xié)商的時間特性，對自動信任協(xié)商模型進行了時間階段劃分，結(jié)合自動信任協(xié)商的特性

3、研究了自動信任協(xié)商系統(tǒng)中的多會話調(diào)度策略；在這些基礎(chǔ)上，提出了一種支持時間約束的安全策略描述邏輯，并給出了該邏輯的具體函數(shù)；此外，構(gòu)造了一個帶時間特性的自動信任協(xié)商狀態(tài)變換系統(tǒng)，以豐富模型的表達能力。
　　最后，本文分析了自動信任協(xié)商安全策略的可滿足性判定問題，得到以下結(jié)論：信任協(xié)商會話時間約束安全策略可滿足性問題能在多項式時間內(nèi)得到有效解決；與狀態(tài)無關(guān)的敏感屬性保護策略可滿足性問題能在多項式時間內(nèi)得到有效解決；一般的敏感屬性保護