Conformance checking of RBAC policy and its implementation

Lecture Notes in Computer Science

Volumn 3439, Issue , 2005, Pages 144-155

  Hansen, Frode ^a   Oleshchuk, Vladimir ^a  

^a UNIVERSITY OF AGDER   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONSTRAINT THEORY; MATHEMATICAL MODELS; PUBLIC POLICY;

CONFORMANCE CHECKING; MODEL-CHECKING SYSTEMS; RBAC POLICY; SYSTEM RESOURCES;

SECURITY OF DATA;

EID: 24644445703     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31979-5_13     Document Type: Conference Paper

References (13)

1. Ferraiolo, D.F., Kuhn, D.R., Chandramouli, R.: Role-Based Access Control. Artech House (2003)
2. Holzmann, G.: The Spin Model Checker. Addison-Wesley, Massachusetts (2004)
3. Giuri, L., Iglio, P.: A formal model for role-based access control with constraints. In: 9th IEEE Computer Security Foundations Workshop. (1996) 136-145
4. Simon, R., Zurko, M.E.: Separation of duty in role-based environments. In: 10th IEEE Computer Security Foundations Workshop. (1997) 183-194
5. Kuhn, D.R.: Mutual exclusion of roles as a means of implementing separation of duty in role-based access control systems. In: 2nd ACM workshop on Role-based access control. (1997) 23-30
6. Gligor, V.D., I.Gavrila, S., Ferraiolo, D.: On the formal definition of separation-of-duty policies and their composition. In: IEEE Symp. Sec. Priv. (1998) 172-183
7. Nyanchama, M., Osborn, S.: The role graph model and conflict of interest. ACM Trans. Inf. Syst. See. 2 (1999) 3-33
8. Hansen, F., Oleshchuk, V.: Spatial role-based access control model for wireless networks. In: IEEE Vehicular Technology Conf. Volume 3. (2003) 2093-2097
9. Hansen, F., Oleshchuk, V.: SRBAC: A spatial role-based access control model for mobile systems. In: 7th Nordic Workshop on Secure IT Systems. (2003) 129-141
10. Bertino, E., Bonatti, P.A., Ferrari, E.: TRBAC: A Temporal Role-based Access Control Model. ACM Trans. Inf. Syst. See. 4 (2001) 191-223
11. Joshi, J.B.D., Bertino, E., Latif, U., Ghafoor, A.: Generalized Temporal Role Based Access Control Model (GTRBAC). Technical Report, CERIAS TR 2001-47, Purdue University, USA (2001)
12. Clark, D.R., Wilson, D.R.: A comparison of commercial and military computer security policies. In: IEEE Symp. Sec. Priv. (1987) 184-194
13. Nash, M.J., Poland, K.R.: Some conundrums concerning separation of duty. In: IEEE Symp. Sec. Priv. (1990) 201-209