基于角色访问控制模型约束的OCL描述

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:caomao8000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘 要 基于角色的访问控制模型(RBAC)凭借其灵活的授权机制、强大的管理功能和完善的安全策略越来越引起人们的研究兴趣,随着研究的不断深入,面向对象的研究方法也逐渐应用到这个模型中,促进了它的迅速发展。UML作为一种强大的建模语言,不只是局限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程,通过乙ML的描述可以使理论模型更加直观地应用到实际系统开发。该文使用UML的对象约束语言(OCL)来描述RBAC中的相关约束,使约束描述更加标准化,更有利于系统开发人员对模型的理解和促进RBAC模型的系统开发:
  关键词 RBAC UML OCL Conslrsint 系统安全
  文章编号1002—833l—(2003)21—0100—03 文献标识码A 中图分类号TP31
其他文献
摘 要 论文论述了建筑预算工程量计算中建筑图的数字化存贮与工程量计算数学的模型,给出了按方向、斜率大小顺序的轴线跟踪算法及实现过程。  关键词 轴线 非正交网格图 轴线跟踪法  文章编号1002—8331—(2003)10—0223—03 文献标识码A 中图分类号TP391
期刊
摘 要 文章介绍了基于PC的三维工业CT图像处理与分析系统及其应用,该系统从根本上解决了工业CT无损检测的准确性和可靠性问题,而且支持多种数据图像格式。特别地,可与需要以STL格式的数据为输入数据快速成形系统结合,实现了在反向工程上的应用,对于新产品的研制和开发具有重要的意义。  关键词 工业CT 无损检测 快速成型 三维重建  文章编号1002—8331—(2003)10—0213—
期刊
摘 要 论文分析了混合编程的三种不同实现方法及其优缺点,介绍了VC和Matlab混合编程方法在轧机扭矩监测中的应用。实际应用中推荐采用MATCOM作为接口的方法。  关键词 VC++ Matlab 混合编程 MATCOM  文章编号1002—8331—(2003)10—0226—02 文献标识码A 中图分类号TP311
期刊
摘 要 CIS辅助行政边界划界是利用GIS的技术手段,辅助确定相邻行政区域之间行政分界线的一个空间行为过程。行政划界涉及的各种影响因素不易或不能量化,因此难以找到合适的解析模型对这一关系进行模拟。行政划界空间数据处理可以按照空间行为过程的观点按照一定的原则逐层分解,其特点是子过程间以数据流松散联结,转向控制难以用条件判断模拟,只适宜采用人机交互的方式实现。该文在深入分析行政边界划界工作特点的基
期刊
摘 要 IPv6的高级套接口规范还在定义之中,不断地增加新的功能。该文根据IPv6接入路由器的实现经验,提供给大家新一代网络层协议IPv6高级套接口主要功能的实现机制和应用示例。通过对实现机制的分析,文章给出了新增高级套接口功能的实现参考.  关键词 高级套接口 socket vxworks IPv6 TCP/IP协议栈  文章编号1002—8331—(2003)21—0019—04
期刊
摘 要 多姿态人脸识别在很多领域具有重要的应用价值。基于多姿态人脸图像及Cabor小波特点选取离散化参数,对人脸图像进行Gabor小波变换;然后采用两步降维法对变换系数进行降维,基于降维后的Gabor特征表示实现人脸识别,实验将互不相交的两个样本集依次作为训练集和测试集,验证了该方法在人脸识别中对于不同姿态和表情的有效性及鲁棒性:  关键词 Gabor小波 人脸识别 主元分析 降维  
期刊
摘 要 0fDM—CDMA系统中,在多径传播和其他同频干扰存在时,接收机会收到多个恒模信;号+针对这种情况,文章提出一种基于线性约束恒模算法(LCCMA)的盲抗干扰方法,该方法结合了通常的旁.办洧赊器和恒模算法,用于消除多址干扰对系统的影响。分别对不同用户数目的系统进行计算机仿真,结果表明,采用本算;法后,能有效地抑棚多址干瑰,极大地提高了系统的性能。  关键词 正交频分多路 码分多址
期刊
摘 要 概述了OPC数据访问服务器的作用,讨论了它的实现机制,以及OPC服务器对象、OPC组对象、OPC项对象之间关系,具体介绍了OPC服务器对象。OPC组对象和OPC项对象实现方法。简要地介绍了OPC数据访问接口的功能。  关键词 OPC 服务器 数据访问  文章编号1002—8331—(2003)21—0065—03 文献标识码A 中图分类号TP31
期刊
摘 要 x—Senice是一种电子化服务与基于Web的应用程序构建模块的结合体,具有服务和组件的双重特征。全新的工作流管理x—Service旨在于利用x—Selvice模式,采用x—Service组件、提供商和用户的三层结构,充分发挥提供商在工作流管理方面的先进技术水平,为客户组建可靠的,可定制的和个性化的工作流管理系统,以x—Service的方式通过In—Iemet为客户提供全面的工作流管理
期刊
摘 要 该文面向分布Agent多移动机器人系统,提出了一种适合于多移动机器人的机器人Agent分层式体系结构,包括状态监测层、决策规划层、协调控制层和行为控制层,其中状态监测层主要实现整个系统对外部环境的状态监测。决策规划层设定系统的全局目标和单个机器人的局部目标,合理快速地完成任务的分解和分配,实现机器人之间任务级之间的协作。协调控制层完成机器人之间的运动协调。行为控制器土要采用基于行为的方
期刊