RBAC-PAT: A policy analysis tool for role based access control

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5505 LNCS, Issue , 2009, Pages 46-49

  Gofman, Mikhail I ^a   Luo, Ruiqi ^a   Solomon, Ayla C ^b   Zhang, Yingbin ^a   Yang, Ping ^a   Stoller, Scott D ^c  

^a State University of New York at Binghamton   (United States)

^b WELLESLEY COLLEGE   (United States)

^c USA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL POLICIES; ANALYSIS OF VARIOUS; INFORMATION FLOWS; POLICY ANALYSIS; RBAC POLICY; REACHABILITY; ROLE-BASED ACCESS CONTROL; WEAKEST PRECONDITION;

COMPUTER SOFTWARE; SECURITY SYSTEMS; ARTIFICIAL INTELLIGENCE; COMPUTERS;

ACCESS CONTROL;

EID: 70350630726     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00768-2_4     Document Type: Conference Paper

References (4)

1. Osborn, S.: Information flow analysis of an RBAC system. In: SACMAT, pp. 163-168 (2002)
2. Sandhu, R., Bhamidipati, V., Munawer, Q.: The ARBAC97 model for role-based administration of roles. TISSEC 2(1), 105-135 (1999)
3. Sasturkar, A., Yang, P., Stoller, S.D., Ramakrishnan, C.: Policy analysis for administrative role based access control. In: IEEE CSFW, pp. 124-138 (2006)
4. Stoller, S., Yang, P., Ramakrishnan, C.R., Gofman, M.: Efficient policy analysis for administrative role based access control. In: CCS, pp. 445-455 (2007)