• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on business process management;BPM 2011 >Conformance Checking of RBAC Policies in Process-Aware Information Systems
【24h】

Conformance Checking of RBAC Policies in Process-Aware Information Systems

机译：流程感知信息系统中RBAC策略的一致性检查

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A process-aware information system (PAIS) is a software system that supports the definition, execution, and analysis of business processes. The execution of process instances is typically recorded in so called event logs. In this paper, we present an approach to automatically generate LTL (Linear Temporal Logic) statements from process-related RBAC (Role-based Access Control) models. These LTL statements are used to check if process executions that are recorded via event logs conform to the access control policies defined via a corresponding RBAC model. To demonstrate our approach, we implemented a RBAC-to-LTL component, and used the ProM tool to test the resulting LTL statements with event logs created from process simulations in CPN tools.
机译：流程感知信息系统（PAIS）是支持业务流程的定义，执行和分析的软件系统。流程实例的执行通常记录在所谓的事件日志中。在本文中，我们提出了一种从流程相关的RBAC（基于角色的访问控制）模型自动生成LTL（线性时间逻辑）语句的方法。这些LTL语句用于检查通过事件日志记录的流程执行是否符合通过相应的RBAC模型定义的访问控制策略。为了演示我们的方法，我们实现了一个RBAC到LTL的组件，并使用ProM工具通过从CPN工具中的流程模拟创建的事件日志来测试生成的LTL语句。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号