语境决策树建模及其在多角色协同Web系统中的应用

发布时间：2017-08-14 12:16

  本文关键词：语境决策树建模及其在多角色协同Web系统中的应用

  更多相关文章： 语境决策树 安全性验证 软件建模 多角色协同系统 元模型

【摘要】：随着软件技术的飞速发展,多角色多用户协同工作成为Web系统的重要特性之一。在多角色协同Web系统的设计与测试中,用户交互操作受到多重动态语境约束,安全性验证必不可少。传统的访问控制机制,如基于角色访问控制RBAC、访问控制表ACL等,无法满足语境验证的需求,而通用建模工具UML2则无法将语境条件判定从工作流模型中抽取出来,难以实现语境条件的推理验证。本文基于一个虚拟社区管理系统的需求,提出了一种基于语境分析判定的语境决策树CDT建模方法。同时结合Web技术,把CDT模型应用到项目中。本文首先分析了现有的Web安全技术,针对其中的不足,结合决策树和语境概念,提出语境决策树CDT模型。采用元模型建模方法给出CDT建模规范,采用令牌建立动态计算规则,形成一种连通且无回路的有向图模型,并给出约束规则和优化方法。在Web开发方面,对CDT模型进行分层语境扩展,使用CDT模型对Web系统工作流进行建模,通过CDT判定路径计算得到多条件合取式,与需求规格比较以验证Web系统的安全性、一致性和冗余,并依照CDT判定路径设计测试用例,最后实现对系统的测试验证。验证表明,本文实现的基于多角色协同Web系统的CDT建模方法能更好地满足复杂语境安全性验证等需求,且具有规范性、适用性和可扩展性。
【关键词】：语境决策树 安全性验证 软件建模 多角色协同系统 元模型
【学位授予单位】：南京理工大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.08
【目录】：

• 摘要3-4
• Abstract4-8
• 1 绪论8-11
• 1.1 课题背景及研究意义8-9
• 1.2 国内外研究现状9-10
• 1.3 本文主要研究内容10-11
• 2 多角色协同Web安全技术11-19
• 2.1 RBAC模型11-14
• 2.1.1 RBAC的特性11-12
• 2.1.2 RBAC的角色授权12-13
• 2.1.3 RBAC96模型13-14
• 2.2 Spring Security安全框架14-16
• 2.2.1 Spring Security架构14-15
• 2.2.2 Spring Security工作原理15-16
• 2.2.3 Spring Security优劣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 本章小结18-19
• 3 语境决策树建模19-28
• 3.1 决策树与语境19-21
• 3.1.1 语境概念19
• 3.1.2 决策树概述19-21
• 3.2 语境决策树建模规范21-25
• 3.2.1 元模型21-22
• 3.2.2 令牌规则22-25
• 3.3 约束规则与优化方法25-26
• 3.3.1 约束规则25-26
• 3.3.2 优化方法26
• 3.4 语境决策树的安全性验证26-27
• 3.4.1 安全性验证26-27
• 3.4.2 一致性验证27
• 3.4.3 冗余验证27
• 3.5 本章小结27-28
• 4 语境决策树在Web系统中的扩展28-37
• 4.1 多角色协同Web系统特征28-29
• 4.2 语境分层模型29-33
• 4.2.1 系统语境信息扩展30
• 4.2.2 主体语境信息扩展30-31
• 4.2.3 对象语境信息扩展31-32
• 4.2.4 操作语境信息扩展32-33
• 4.3 分层语境设计方案33-36
• 4.3.1 元模型扩展33-35
• 4.3.2 一个Web语境决策树示例35-36
• 4.4 本章小结36-37
• 5 语境决策树应用37-57
• 5.1 项目背景37-42
• 5.1.1 软件结构37-38
• 5.1.2 各角色间关系分析38-39
• 5.1.3 各角色职责39-42
• 5.2 语境决策树在Web实例中的应用42-50
• 5.2.1 系统安全性验证的例子42-45
• 5.2.2 系统一致性验证的例子45-47
• 5.2.3 系统冗余验证的例子47
• 5.2.4 系统设计和优化的例子47-50
• 5.3 功能测试50-54
• 5.3.1 测试用例建立50-53
• 5.3.2 执行测试53-54
• 5.4 讨论与比较54-56
• 5.5 本章小结56-57
• 6 总结与展望57-59
• 6.1 总结57
• 6.2 展望57-59
• 致谢59-60
• 参考文献60-63
• 附录63

【参考文献】

中国硕士学位论文全文数据库 前2条

1 李倩;基于RBAC模型的安全架构在web应用中的研究与实现[D];中山大学;2010年

2 张雷;扩展RBAC模型在WEB应用中的研究与实现[D];北京交通大学;2008年

，

本文编号：672636