RBAC-PAT

基于角色的访问控制(RBAC)已被广泛用于表示访问控制策略。基于角色的访问控制(ARBAC)指定了每个管理员如何更改RBAC策略。由于不同管理员的更改序列可能以非预期方式交互,因此通常难以通过简单检查充分了解ARBAC策略的效果。本文介绍了RBAC—PAT,它是一种用于分析RBAC和ARBAC策略的工具,它支持各种属性的分析,包括可达性、可用性、包容、最弱前提、死角色和信息流。


ZBMaCT中的参考文献(3篇文章中引用)

显示结果1至3的3。
按年份排序(引文

  1. Abdelouadoud的SabBoul;LoGrPIPO,路易吉:从能力列表数据流分析,应用到RBAC(2019)
  2. Ranise,西尔维奥:具有有效命题逻辑的符号向后可达性。安全策略分析的应用(2013)
  3. Gofman,Mikhail I.;罗,瑞奇;所罗门,Ayla C.;张,Yingbin;杨,ping;斯托勒,斯托勒:RBAC-PAT:一种基于角色的访问控制的政策分析工具(2009)伊波尔特