Current Proceedings on Technology

Current Proceedings on Technology

Boolean SATisfiability problem (SAT) in modelling user roles

Yazarlar: Monika Simkova

Cilt 4 , Sayı - , 2013 , Sayfalar -

Konular:-

Anahtar Kelimeler:User roles,Modelling of user roles,Access priviliges

Özet: 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.


ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır

KAYNAK GÖSTER
BibTex
KOPYALA
@article{2013, title={Boolean SATisfiability problem (SAT) in modelling user roles}, volume={4}, number={0}, publisher={Current Proceedings on Technology }, author={Monika Simkova}, year={2013} }
APA
KOPYALA
Monika Simkova. (2013). Boolean SATisfiability problem (SAT) in modelling user roles (Vol. 4). Vol. 4. Current Proceedings on Technology .
MLA
KOPYALA
Monika Simkova. Boolean SATisfiability Problem (SAT) in Modelling User Roles. no. 0, Current Proceedings on Technology , 2013.