RBAC模型时间约束的OCL描述

来源 :电脑知识与技术:学术交流 | 被引量 : 0次 | 上传用户:sysbot
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于角色的访问控制模型以其灵活性、方便性和安全性在许多系统的权限管理中得到普遍应用,而引入时间约束后的角色访问控制更能增强系统的安全性和模型的描述能力。该文使用对象约束语言OCL来描述模型中的时间约束,使模型更加直观和精确。
其他文献
耐寒育种是柚木(Tectonagrandis)研究的重点,为选择柚木耐寒优良无性系,调查了半年生柚木无性系试验林越冬冷害后的保存率。结果表明,两个试验点不同柚木无性系间的保存株数均达到
本文通过分析目前企业信息系统建设中存在的一些问题,论述了建立企业应用系统构架的必要性。介绍了服务组件架构(SCA)的基本概念、特点及存在的优势,并结合具体案例详细描述了
根据电子充值单销售活动的需求和背景,比较了目前流行的C/S和B/S软件体系结构,设计并实现了适合此业务开展的C/S处理系统,在实现过程中根据系统需求灵活运用了Delphi的一些固有属性
移位寄存器74xx164因具有串并数据转换功能而在微电脑家电中广泛使用,文章对74xx164在电路中实现按键扫描及显示功能的应用进行分析,并利用Proteus软件加以仿真演示。
目前,平面电子地图与三维虚拟场景通信方面的研究是个热点。文章先探讨了两者的结合的必要性,然后对平面电子地图与三维虚拟场景通信进行深入的研究。着重分析了通信的基本原理和表现形式。提供实现通信的思路有:栅格地图和三维虚拟场景的结合;二维矢量地图和三维虚拟场景的结合。结合事例和方案,对二维矢量地图和三维虚拟场景的结合的思路进行了研究。介绍了平面电子地图与三维虚拟场景通信实现的流程和具体实现的方法。
医院实行成本核算,其目的是通过对医院和医疗服务成本的核算和管理,真实反映医疗活动的财务状况和经营成果,更新医院经济管理的理念,增进和提高医院全体员工的成本意识,自觉减少浪
面对新华通讯社的大量稿件,怎样合理地采用是各省市、地方报社办好党报的重要一环(目的)。针对新华通讯社卫星供稿系统的供稿特点,在VisualC++环境下采用可视化的编程方法,编写的新
人气对青少年的影响持续至成年  人气是一个有分量的词,对于许多成年人来说,它唤起了高中时期为餐厅座位和走廊位置煞费苦心的深刻回忆。《人气世界中好感的力量》的作者、心理学教授米奇·普林斯坦(Mitch Prinstein)指出,这些回忆很鲜明,个体想在同龄人中受欢迎的渴望于青春期达到了顶峰,与此同时也在形成稳定的个性。所以个体在14岁时形成的自我认识以及世界观将会影响其40岁时的表现。  但人气存在
随着城市工业化发展、人口剧增、生态环境日益恶化,各种自然灾害和人为灾难也随之上升,严重威胁人类生命与财产安全。各种灾害所致大规模突发事件的威胁已成为医疗护理工作者们
本文介绍了PM511P数据采集卡及其原理,讨论了在Visual Basic环境下,利用动态链接库,实现对I/O端口控制。并通过实例讲解实时控制程序的开发。