RBAC-PAT: A Policy Analysis Tool for Role Based Access Control

被引：0
|
作者：
Gofman, Mikhail I. [1 ]
Luo, Ruiqi [1 ]
Solomon, Ayla C. [2 ]
Zhang, Yingbin [1 ]
Yang, Ping [1 ]
Stoller, Scott D. [3 ]
机构：
[1] SUNY Binghamton, Dept Comp Sci, Binghamton, NY 13902 USA
[2] Wellesley Coll, Dept Comp Sci, Wellesley, MA 02181 USA
[3] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY USA
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS | 2009年 / 5505卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC policy may be changed by each administrator. Because sequences of changes by different administrators may interact in unintended ways, it is often difficult to fully understand the effect of an ARBAC policy by simple inspection. This paper presents RBAC-PAT, a tool for analyzing RBAC and ARBAC policies, which supports analysis of various properties including reachability, availability, containment, weakest precondition, dead roles, and information flows.
引用
收藏
页码：46 / +
页数：2
相关论文
共 50 条
  • [41] A RBAC-Based Multitask Spatio-Temporal Access Control Model MT_RBAC
    Ying, Zhang
    Zhen, Xu
    Chi, Chen
    PROCEEDINGS OF 2018 INTERNATIONAL CONFERENCE ON COMPUTING AND PATTERN RECOGNITION (ICCPR 2018), 2018, : 14 - 20
  • [42] Role-Based Access Control (RBAC) in Java']Java via Proxy Objects using Annotations
    Zarnett, Jeff
    Tripunitara, Mahesh
    Lam, Patrick
    SACMAT 2010: PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2010, : 79 - 88
  • [43] An XML-based language for access control specifications in an RBAC environment
    Stoupa, KE
    Vakali, AI
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1717 - 1722
  • [44] RB-GACA: A RBAC based grid access control architecture
    Jin, Hai
    Qiang, Weizhong
    Shi, Xuanhua
    Zou, Deqing
    INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, 2005, 1 (01) : 61 - 70
  • [45] Improved Access Control Strategy Based on RBAC Model and Its Application
    Cheng, Yin-lei
    Wang, Fang
    Shang, Lei-ming
    Wang, Biao-ren
    Xu, Juan
    PROCEEDINGS OF THE 2015 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND AUTOMATION ENGINEERING, 2016, 42 : 808 - 813
  • [46] RBAC-Based Access Control Integration Framework for Legacy System
    Guo, He
    Lu, Guoji
    Wang, Yuxin
    Li, Han
    Chen, Xin
    WEB INFORMATION SYSTEMS AND MINING, 2010, 6318 : 194 - +
  • [47] RB-GACA: A RBAC based grid access control architecture
    Qiang, WZ
    Jin, H
    Shi, XH
    Zou, DQ
    Zhang, H
    GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 487 - 494
  • [48] An access control of enterprise financial privacy information based on RBAC model
    Shi, Xuejiao
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2024, 74 (04) : 372 - 381
  • [49] Distributed access control method based on RBAC in OSGi service platform
    Cho, Eun-Ae
    Moon, Chang-Joo
    Baik, Doo-Kwon
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 1427 - 1431
  • [50] THE EVALUATION AND COMPARATIVE ANALYSIS OF ROLE BASED ACCESS CONTROL AND ATTRIBUTE BASED ACCESS CONTROL MODEL
    Aftab, Muhammad Umar
    Qin, Zhiguang
    Zakria
    Ali, Safeer
    Pirah
    Khan, Jalaluddin
    2018 15TH INTERNATIONAL COMPUTER CONFERENCE ON WAVELET ACTIVE MEDIA TECHNOLOGY AND INFORMATION PROCESSING (ICCWAMTIP), 2018, : 35 - 39
12345