loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System
Linz, Austria
June 09-June 11
ISBN: 0-7695-1963-6
ASCII Text
x 
 
Grzegorz Kolaczek, "Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System," Enabling Technologies, IEEE International Workshops on, pp. 190, Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003.
 
 
BibTex
x
 
@article{ 10.1109/ENABL.2003.1231406,
author = {Grzegorz Kolaczek},
title = {Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System},
journal ={Enabling Technologies, IEEE International Workshops on},
volume = {0},
year = {2003},
issn = {1080-1383},
pages = {190},
doi = {http://doi.ieeecomputersociety.org/10.1109/ENABL.2003.1231406},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Enabling Technologies, IEEE International Workshops on
TI - Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System
SN - 1080-1383
SP
EP
A1 - Grzegorz Kolaczek,
PY - 2003
KW - null
VL - 0
JA - Enabling Technologies, IEEE International Workshops on
ER -
 
Grzegorz Kolaczek, Wroclaw University of Technology
The paper presents a short overview of the foundations of the role-based access control modal model and its proprieties. In particular,the problem of definition and verification of various types of constraints is analysed. The main benefit of the presented model is that it is based on the fundamental notions of both enterprise management and information systems access control. The other important value of the model is the possibility of automation of processes and implementation of mechanisms related to access control on the basis of logical automated reasoning and the PROLOG programming language.
Citation:
Grzegorz Kolaczek, "Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System," wetice, pp.190, Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003
Usage of this product signifies your acceptance of the Terms of Use.