AWERProcedia Information Technology & Computer Science Vol 04 (2013) 1022-1028 3 rd World Conference on Innovation and Computer Sciences 2013 Boolean SATisfiability problem (SAT) in modelling user roles Monika Simkova*, University of Hradec Kralove, Rokitanskeho 62, Hradec Kralove 50002, Czech Republic. Suggested Citation: Simkova M., University of Hradec Kralove, Rokitanskeho 62, Hradec Kralove 50002, Czech Republic. AWERProcedia Information Technology & Computer Science. [Online]. 2013, 04, pp 1022-1028. Available from: www.awer-center.org/pitcs Received November 09, 2012; revised february 16, 2013; accepted March 15, 2013. Selection and peer review under responsibility of Prof. Dr. Fahrettin Sadıkoglu, Neaƌ East UŶiǀeƌsitLJ. ©ϮϬϭϯ AĐadeŵiĐ Woƌld EduĐatioŶ & ReseaƌĐh CeŶteƌ. All ƌights ƌeseƌǀed. Abstract This paper describes the results of the research project Connection of system for identity management for algorithms for the analysis of access privileges and modelling of user role within the innovation project which was carried out by company AG COM and Ortex in collaboration with the University of Hradec Kralove, together operating in association Hradec Information Technology Cluster (HIT Cluster). The project focuses on linking the existing identity management system – parts of the system roles on external component that provides sophisticated design and life cycle of roles. The basis of the project is the development of algorithms applicable to the analysis of access rights and modelling user roles from the state of the permission settings to the final systems. This classification process based on roles aims at achieving an optimal minimum number of roles that are consistent with the needs of organizations that all users have all the rights that they need. The specific issues of this article is the use of SAT algoritmus in modeling user roles. Keywords: User roles, modelling of user roles, access priviliges; *ADDRESSES FOR CORRESPONDANCE: Monika Simkova, University of Hradec Kralove, Rokitanskeho 62, Hradec Kralove 50002, Czech Republic, E-mail Address: monika.simkova@uhk.cz