检索结果-内蒙古大学图书馆

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型—T-RBAC。该模型采用了以任务为中心的“用户-角色-任务-权限”的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题。此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力。

关键词：访问控制模型工作流约束描述语言

来源：评论

学校读者我要写书评

暂无评论

角色转授权模型中授权冲突问题的解决方案

引用

计算机工程与应用 2008年第36期44卷 244-248页

作者：孙伟邬长安王瑞民信阳师范学院计算机与信息技术学院河南信阳464000 郑州大学信息工程学院郑州450001

针对现有用户-用户的角色转授权模型存在授权冲突问题,基于转授权的组件、相关性质以及约束规则,提出了一种约束转授权模型,该模型满足最小特权和职责分离两安全原则,给出了该模型的体系架构和功能描述;以此模型为背景介绍了一种约束描... 详细信息

针对现有用户-用户的角色转授权模型存在授权冲突问题,基于转授权的组件、相关性质以及约束规则,提出了一种约束转授权模型,该模型满足最小特权和职责分离两安全原则,给出了该模型的体系架构和功能描述;以此模型为背景介绍了一种约束描述语言及其形式化语义描述;通过规约算法和构造算法论证了它与严格形式上的一阶谓词逻辑是等价的,并对该约束语言的合理性和完整性进行了讨论;最后用该约束语言给出了模型的表现能力,较好的解决了转授权冲突问题。

关键词：基于角色的访问控制转授权冲突约束规则约束描述语言一阶谓词逻辑

来源：评论

学校读者我要写书评

暂无评论

基于任务和角色的工作流访问控制模型的研究及实现

基于任务和角色的工作流访问控制模型的研究及实现

引用

作者：查宗旬南昌大学

学位级别：硕士

在企业信息泄密层出不穷的今天,计算机系统的安全性问题越来越被企业所重视。尤其是在分布式系统中,由于企业信息的共享,安全性尤其受重视。访问控制技术作为计算机安全技术的重要组成部分,也备受关注。目前比较常用的访问控制模型包括... 详细信息

在企业信息泄密层出不穷的今天,计算机系统的安全性问题越来越被企业所重视。尤其是在分布式系统中,由于企业信息的共享,安全性尤其受重视。访问控制技术作为计算机安全技术的重要组成部分,也备受关注。目前比较常用的访问控制模型包括：基于角色的访问控制模型RBAC和基于任务的访问控制模型TBAC。但是这两种模型都有自己的不足：RBAC存在最小权限约束假象的问题,而TBAC使用起来过于复杂。本文在以上两种访问控制模型的基础上提出了一种新型访问控制模型T-RBAC。该模型结合了TBAC和RBAC的优点,较好地解决了当前工作流系统中存在的安全性问题。此外,本文还在RCL2000的基础上设计了一套描述约束机制的语言ERCL, ERCL授权描述语言实现模型的约束条件。最后设计和实现了一个通用的工作流权限管理平台系统,能够验证论文提出来的的观点。本文的创新性工作包括： 1、设计结合TBAC和RBAC特点的新型访问控制模型T-RBAC; 2、在RCL2000的基础上进行修改和扩充,提出了ERCL约束描述语言； 3、设计并实现了一个通用的工作流权限管理平台的应用系统；

关键词：工作流访问控制模型约束描述语言

来源：评论

学校读者我要写书评

暂无评论

基于角色—任务的工作流访问控制模型的研究及设计

基于角色—任务的工作流访问控制模型的研究及设计

引用

作者：彭建文南昌大学

学位级别：硕士

近年来，工作流技术在计算机应用领域迅速发展。在人员密集型的办公环境，如银行、证券以及行政管理等行业中得到广泛的应用。同时工作流管理系统的安全问题也日益受到人们的重视，本文主要研究正是实现工作流系统信息安全的重要手段之... 详细信息

近年来，工作流技术在计算机应用领域迅速发展。在人员密集型的办公环境，如银行、证券以及行政管理等行业中得到广泛的应用。同时工作流管理系统的安全问题也日益受到人们的重视，本文主要研究正是实现工作流系统信息安全的重要手段之一：访问控制技术。访问控制技术与访问控制模型理论密切相关，目前业界也提出了多种访问控制模型，如自主访问控制模型(DAC)、强制访问控制模型(MAC)和基于角色的访问控制模型RBAC等，但这些模型并不能完全满足工作流环境下的访问控制需求。本文在对现有的多种访问控制模型理论进行分析和比较的基础上提出了一种新型访问控制模型—T-RBAC。该模型结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC的优点，较好地解决了当前工作流系统中存在的安全性问题。此外，本文还在新模型的基础上设计了一套描述约束机制的语言ETCL，并设计和实现了一个用于验证新模型的原型应用系统，在系统中，用户可自行定制工作流模板及其任务环节，还能使用一种基于ETCL的授权描述语言实现相互之间的授权。本文的创新性工作包括： 1、设计了结合TBAC和RBAC特点的新型访问控制模型T-RBAC； 2、提出了一种解决T-RBAC模型中私有权限传播问题的算法； 3、在RCL2000的基础上进行修改和扩充，提出了ETCL约束描述语言； 4、设计并实现了一个基于T-RBAC模犁的原型应用系统；

关键词：工作流访问控制模型约束描述语言

来源：评论

学校读者我要写书评

暂无评论

安全工作流管理系统的约束机制研究

安全工作流管理系统的约束机制研究

引用

作者：陈凤珍华中科技大学

学位级别：硕士

在该系统中,用户可用形式化的约束描述语言描述系统约束规则,并可自行定制工作流模板及其任务环节.系统还提供对任务、约束规则和权限的灵活管理.在流程执行过程中,系统提供适当的受权机制来保证权限的授予与撤消和工作流的运行状态同步... 详细信息

在该系统中,用户可用形式化的约束描述语言描述系统约束规则,并可自行定制工作流模板及其任务环节.系统还提供对任务、约束规则和权限的灵活管理.在流程执行过程中,系统提供适当的受权机制来保证权限的授予与撤消和工作流的运行状态同步.约束子系统作为该系统一个重要组成部分,提供约束的描述和管理功能.该子系统主要包括约束配置器、约束分析模块和约束处理模块三个部分.约束配置器提供定义各种冲突集合、实时管理以及形式化描述约束规则的图形界面,以及不定时检测系统约束规则的功能.约束分析模块是TCL编译器,负责分析执行TCL语句.约束处理模块负责处理各种约束检测请求.在约束子系统的形式化描述中,提出了基于任务的约束描述语言(TCL2000).TCL2000是在RCL2000语言的基础上,结合工作流管理系统自身的特点而设计的.与以前的约束描述语言相比,TCL20000是基于任务,而不是基于角色.TCL2000具有很强的表达能力,不仅能描述已存在的约束,而且还能描述新形式的约束,尤其有利于对动态约束进行描述.TCL2000的引入为整个安全工作流管理系统中的系统安全策略的实现提供了有利的保证.

关键词：工作流管理系统访问控制任务约束描述语言

来源：评论

学校读者我要写书评

暂无评论

一种软件约束的描述方法与工具实现

一种软件约束的描述方法与工具实现

引用

作者：李敏北京大学

学位级别：硕士

Internet的普及使得软件的运行平台从单机环境发展为开放性、异构性的网络环境。这不仅使软件本身的规模迅速增长，同时也增加了软件的复杂性。软件在应用范围、规模和复杂性上的增长使得其质量变得越来越重要。如何提高软件的质量以保... 详细信息

Internet的普及使得软件的运行平台从单机环境发展为开放性、异构性的网络环境。这不仅使软件本身的规模迅速增长，同时也增加了软件的复杂性。软件在应用范围、规模和复杂性上的增长使得其质量变得越来越重要。如何提高软件的质量以保证软件的可用性、可靠性、安全性和高性能等性质是一项重要的研究内容。\n 经过长期的研究与实践，目前人们已经取得了提高软件质量的一系列方法。比如，软件开发阶段的静态代码审查与模型检测、软件运行阶段的在线监测以及随需应变的适应性软件，等等。这些方法的基本思想都是定义软件的约束条件，并在某些时刻来检查软件是否遵守了这些约束条件，然后给出报告结果，甚至可以根据报告结果做进一步的调整。\n 如何准确、直观地描述约束对于提高软件质量有着非常重要的意义。本文主要关注接口级别(Interface Level)的数值约束和事件约束，采用基于模式的、易于扩展的软件约束描述方法，并提出一种基于XML的、声明式的、支持复用的约束描述语言。为了帮助用户快速、准确地描述约束，本文开发了相应的支持工具，该工具从三个层面上为接口级别约束的描述提供支持：分别为数值约束和事件约束提供表格式和图形式的可视化描述方式，减少用户的输入和错误的引入；从可视化描述自动生成基于XML约束描述文件，利于约束的存储；为每类事件约束提供形式化的内部表示(有限状态机)，简化软件在线监测的验证逻辑，和在线监测工具无缝地衔接起来。\n 本文的工作主要有如下三点贡献：1)提出了基于模式的、易于扩展的接口级别约束描述方法；2)提出了一种基于XML的、声明式的、支持复用的、易于理解的约束描述语言(CDL)；3)开发了从三个层面提供接口级别约束描述机制的支持工具，可以与监测工具无缝的集成。

关键词：软件质量约束描述语言 XML文件在线监测测试工具

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：