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

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

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

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