基于角色和任務(wù)的網(wǎng)格安全需求分析模型.pdf

1、網(wǎng)格是一個集成的計算與資源環(huán)境，即通過標(biāo)準(zhǔn)的、開放的、通用的協(xié)議和接口實現(xiàn)分布式資源的協(xié)同使用并且能夠向用戶提供非平凡的服務(wù)質(zhì)量。網(wǎng)格環(huán)境下多用戶參與的協(xié)同計算是網(wǎng)格的一個重要應(yīng)用方向。網(wǎng)格應(yīng)用的發(fā)展對于運(yùn)行的可靠性提出了更高的要求。在網(wǎng)格環(huán)境中，安全協(xié)議是保證安全性的重要手段。網(wǎng)格環(huán)境下的安全需求包括鑒別，授權(quán)，證書的撤回，機(jī)密性，分布式信任，信息的完整性，不可抵賴性以及新鮮性。安全模型是基于系統(tǒng)安全需求建立的模型，用于描述系統(tǒng)的安全

2、需求和安全體系的邏輯構(gòu)成?，F(xiàn)在安全設(shè)計都非常重視安全模型的構(gòu)建。傳統(tǒng)的安全模型很難適合于網(wǎng)格環(huán)境下多用戶協(xié)同計算。 本文通過現(xiàn)有的安全模型的分析，提出了基于角色和任務(wù)的網(wǎng)格協(xié)同計算協(xié)同關(guān)系描述模型TRBCR，而且在其基礎(chǔ)上構(gòu)建網(wǎng)格協(xié)同計算安全需求分析模型TRBCC，實現(xiàn)了網(wǎng)格環(huán)境下多用戶協(xié)同計算安全需求的形式化描述，從而把網(wǎng)格協(xié)同計算環(huán)境下的不同安全需求統(tǒng)一在一個理論體系中。 另外，本文通過引入?yún)f(xié)同計算信道的概念，在傳統(tǒng)

3、Strand Space理論的基礎(chǔ)上提出了一種基于虛擬組織的網(wǎng)格安全協(xié)議形式化驗證方法，實現(xiàn)了網(wǎng)格環(huán)境下多用戶協(xié)同計算安全協(xié)議的形式化分析與證明。本文通過實例展示TRBCC網(wǎng)格安全需求分析模型以及擴(kuò)展的Strand Space理論與傳統(tǒng)安全模型的不同。在實例中，本文建立了跨虛擬組織的網(wǎng)格協(xié)同計算場景，利用TRBCC網(wǎng)格安全需求分析模型對其多用戶協(xié)同計算安全需求進(jìn)行了形式化描述，并且進(jìn)一步通過基于虛擬組織的網(wǎng)格安全協(xié)議形式化驗證方法對跨虛