本文關(guān)鍵詞：語(yǔ)境決策樹(shù)建模及其在多角色協(xié)同Web系統(tǒng)中的應(yīng)用

  更多相關(guān)文章： 語(yǔ)境決策樹(shù) 安全性驗(yàn)證 軟件建模 多角色協(xié)同系統(tǒng) 元模型

【摘要】：隨著軟件技術(shù)的飛速發(fā)展,多角色多用戶協(xié)同工作成為Web系統(tǒng)的重要特性之一。在多角色協(xié)同Web系統(tǒng)的設(shè)計(jì)與測(cè)試中,用戶交互操作受到多重動(dòng)態(tài)語(yǔ)境約束,安全性驗(yàn)證必不可少。傳統(tǒng)的訪問(wèn)控制機(jī)制,如基于角色訪問(wèn)控制RBAC、訪問(wèn)控制表ACL等,無(wú)法滿足語(yǔ)境驗(yàn)證的需求,而通用建模工具UML2則無(wú)法將語(yǔ)境條件判定從工作流模型中抽取出來(lái),難以實(shí)現(xiàn)語(yǔ)境條件的推理驗(yàn)證。本文基于一個(gè)虛擬社區(qū)管理系統(tǒng)的需求,提出了一種基于語(yǔ)境分析判定的語(yǔ)境決策樹(shù)CDT建模方法。同時(shí)結(jié)合Web技術(shù),把CDT模型應(yīng)用到項(xiàng)目中。本文首先分析了現(xiàn)有的Web安全技術(shù),針對(duì)其中的不足,結(jié)合決策樹(shù)和語(yǔ)境概念,提出語(yǔ)境決策樹(shù)CDT模型。采用元模型建模方法給出CDT建模規(guī)范,采用令牌建立動(dòng)態(tài)計(jì)算規(guī)則,形成一種連通且無(wú)回路的有向圖模型,并給出約束規(guī)則和優(yōu)化方法。在Web開(kāi)發(fā)方面,對(duì)CDT模型進(jìn)行分層語(yǔ)境擴(kuò)展,使用CDT模型對(duì)Web系統(tǒng)工作流進(jìn)行建模,通過(guò)CDT判定路徑計(jì)算得到多條件合取式,與需求規(guī)格比較以驗(yàn)證Web系統(tǒng)的安全性、一致性和冗余,并依照CDT判定路徑設(shè)計(jì)測(cè)試用例,最后實(shí)現(xiàn)對(duì)系統(tǒng)的測(cè)試驗(yàn)證。驗(yàn)證表明,本文實(shí)現(xiàn)的基于多角色協(xié)同Web系統(tǒng)的CDT建模方法能更好地滿足復(fù)雜語(yǔ)境安全性驗(yàn)證等需求,且具有規(guī)范性、適用性和可擴(kuò)展性。
【關(guān)鍵詞】：語(yǔ)境決策樹(shù) 安全性驗(yàn)證 軟件建模 多角色協(xié)同系統(tǒng) 元模型
【學(xué)位授予單位】：南京理工大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.08
【目錄】：

• 摘要3-4
• Abstract4-8
• 1 緒論8-11
• 1.1 課題背景及研究意義8-9
• 1.2 國(guó)內(nèi)外研究現(xiàn)狀9-10
• 1.3 本文主要研究?jī)?nèi)容10-11
• 2 多角色協(xié)同Web安全技術(shù)11-19
• 2.1 RBAC模型11-14
• 2.1.1 RBAC的特性11-12
• 2.1.2 RBAC的角色授權(quán)12-13
• 2.1.3 RBAC96模型13-14
• 2.2 Spring Security安全框架14-16
• 2.2.1 Spring Security架構(gòu)14-15
• 2.2.2 Spring Security工作原理15-16
• 2.2.3 Spring Security優(yōu)劣16
• 2.3 UML建模16-18
• 2.3.1 UML元素與模型16-17
• 2.3.2 UML視圖17-18
• 2.3.3 UML與Web安全性18
• 2.4 本章小結(jié)18-19
• 3 語(yǔ)境決策樹(shù)建模19-28
• 3.1 決策樹(shù)與語(yǔ)境19-21
• 3.1.1 語(yǔ)境概念19
• 3.1.2 決策樹(shù)概述19-21
• 3.2 語(yǔ)境決策樹(shù)建模規(guī)范21-25
• 3.2.1 元模型21-22
• 3.2.2 令牌規(guī)則22-25
• 3.3 約束規(guī)則與優(yōu)化方法25-26
• 3.3.1 約束規(guī)則25-26
• 3.3.2 優(yōu)化方法26
• 3.4 語(yǔ)境決策樹(shù)的安全性驗(yàn)證26-27
• 3.4.1 安全性驗(yàn)證26-27
• 3.4.2 一致性驗(yàn)證27
• 3.4.3 冗余驗(yàn)證27
• 3.5 本章小結(jié)27-28
• 4 語(yǔ)境決策樹(shù)在Web系統(tǒng)中的擴(kuò)展28-37
• 4.1 多角色協(xié)同Web系統(tǒng)特征28-29
• 4.2 語(yǔ)境分層模型29-33
• 4.2.1 系統(tǒng)語(yǔ)境信息擴(kuò)展30
• 4.2.2 主體語(yǔ)境信息擴(kuò)展30-31
• 4.2.3 對(duì)象語(yǔ)境信息擴(kuò)展31-32
• 4.2.4 操作語(yǔ)境信息擴(kuò)展32-33
• 4.3 分層語(yǔ)境設(shè)計(jì)方案33-36
• 4.3.1 元模型擴(kuò)展33-35
• 4.3.2 一個(gè)Web語(yǔ)境決策樹(shù)示例35-36
• 4.4 本章小結(jié)36-37
• 5 語(yǔ)境決策樹(shù)應(yīng)用37-57
• 5.1 項(xiàng)目背景37-42
• 5.1.1 軟件結(jié)構(gòu)37-38
• 5.1.2 各角色間關(guān)系分析38-39
• 5.1.3 各角色職責(zé)39-42
• 5.2 語(yǔ)境決策樹(shù)在Web實(shí)例中的應(yīng)用42-50
• 5.2.1 系統(tǒng)安全性驗(yàn)證的例子42-45
• 5.2.2 系統(tǒng)一致性驗(yàn)證的例子45-47
• 5.2.3 系統(tǒng)冗余驗(yàn)證的例子47
• 5.2.4 系統(tǒng)設(shè)計(jì)和優(yōu)化的例子47-50
• 5.3 功能測(cè)試50-54
• 5.3.1 測(cè)試用例建立50-53
• 5.3.2 執(zhí)行測(cè)試53-54
• 5.4 討論與比較54-56
• 5.5 本章小結(jié)56-57
• 6 總結(jié)與展望57-59
• 6.1 總結(jié)57
• 6.2 展望57-59
• 致謝59-60
• 參考文獻(xiàn)60-63
• 附錄63

【參考文獻(xiàn)】

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 李倩;基于RBAC模型的安全架構(gòu)在web應(yīng)用中的研究與實(shí)現(xiàn)[D];中山大學(xué);2010年

2 張雷;擴(kuò)展RBAC模型在WEB應(yīng)用中的研究與實(shí)現(xiàn)[D];北京交通大學(xué);2008年

，

本文編號(hào)：672636