首页> 外文期刊>Electronic Notes in Theoretical Computer Science >A Framework for the Analysis of Access Control Policies with Emergency Management
【24h】

A Framework for the Analysis of Access Control Policies with Emergency Management

机译:带有应急管理的访问控制策略分析框架

获取原文
           

摘要

We define a framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators. We consider policies in the category-based access control model, which has been shown to subsume many of the most well known access control models (e.g., MAC, DAC, RBAC). Using a graphical representation of category-based policies, we show how answers to usual administrator queries can be automatically computed, and properties of access control policies can be checked. We show applications in the context of emergency situations, where our framework can be used to analyse the interaction between access control and emergency management.
机译:我们定义了一个用于分析访问控制策略的框架,旨在简化安全管理员的规范和验证任务。我们在基于类别的访问控制模型中考虑了策略,该策略已被证明包含许多最著名的访问控制模型(例如,MAC,DAC,RBAC)。使用基于类别的策略的图形表示,我们展示了如何自动计算常见管理员查询的答案,以及如何检查访问控制策略的属性。我们展示了在紧急情况下的应用程序,其中我们的框架可用于分析访问控制和紧急管理之间的交互。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号