Abstract
This paper relies on a UML profile with a graphical concrete syntax for the design of secure data warehouses. The UML extensions define security concepts to adopt the RBAC and MAC standards, to define conflicts of interests, and to model multidimensional schemas. In addition, this profile has formal semantics defined in Prolog that provides for the verification of both the design well-formedness and the coherence of security policies of data warehouse designs. © 2012 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Salem, A., Triki, S., Ben-Abdallah, H., Harbi, N., & Boussaid, O. (2012). Verification of security coherence in data warehouse designs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7449 LNCS, pp. 207–213). https://doi.org/10.1007/978-3-642-32287-7_18
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
