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

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

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

• 摘要3-4
• Abstract4-8
• 1 緒論8-11
• 1.1 課題背景及研究意義8-9
• 1.2 國內(nèi)外研究現(xiàn)狀9-10
• 1.3 本文主要研究內(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 語境決策樹建模19-28
• 3.1 決策樹與語境19-21
• 3.1.1 語境概念19
• 3.1.2 決策樹概述19-21
• 3.2 語境決策樹建模規(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à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 語境決策樹在Web系統(tǒng)中的擴(kuò)展28-37
• 4.1 多角色協(xié)同Web系統(tǒng)特征28-29
• 4.2 語境分層模型29-33
• 4.2.1 系統(tǒng)語境信息擴(kuò)展30
• 4.2.2 主體語境信息擴(kuò)展30-31
• 4.2.3 對象語境信息擴(kuò)展31-32
• 4.2.4 操作語境信息擴(kuò)展32-33
• 4.3 分層語境設(shè)計方案33-36
• 4.3.1 元模型擴(kuò)展33-35
• 4.3.2 一個Web語境決策樹示例35-36
• 4.4 本章小結(jié)36-37
• 5 語境決策樹應(yīng)用37-57
• 5.1 項目背景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 語境決策樹在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è)計和優(yōu)化的例子47-50
• 5.3 功能測試50-54
• 5.3.1 測試用例建立50-53
• 5.3.2 執(zhí)行測試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)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前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年

，

本文編號：672636