{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:29:44Z","timestamp":1743125384670,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319197128"},{"type":"electronic","value":"9783319197135"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19713-5_5","type":"book-chapter","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T13:19:45Z","timestamp":1432646385000},"page":"53-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Approach Based on Verification and Validation Techniques for Enhancing the Integrity of Concrete Role Based Access Control Policies"],"prefix":"10.1007","author":[{"given":"Faouzi","family":"Jaidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faten Labbene","family":"Ayachi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abrial J.-R.: The B-Book: Assigning Programs to Meanings. Press Syndicate of the University of Cambridge, Cambridge (1996)","DOI":"10.1017\/CBO9780511624162"},{"issue":"5","key":"5_CR2","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/j.infsof.2008.05.011","volume":"51","author":"DA Basin","year":"2009","unstructured":"Basin, D.A., Clavel, M., Doser, J., Egea, M.: Automated analysis of security-design models. Inf. Softw. Technol. 51(5), 815\u2013831 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bertino, E., Ghinita, G., Kamra, A.: Access Control for Databases: Concepts and Systems. Found. Trends Databases 3, 1\u20132, 1\u2013148 (2010)","DOI":"10.1561\/1900000014"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Hansen, F., Oleshchuk, V.: Conformance checking of RBAC policy and its implementation. In: 1st Information Security Practice and Experience Conference, pp. 144\u2013155 (2005)","DOI":"10.1007\/978-3-540-31979-5_13"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"726","DOI":"10.3923\/itj.2009.726.734","volume":"8","author":"C Huang","year":"2009","unstructured":"Huang, C., Sun, J., Wang, X., Si, Y.: Security policy management for systems employing role based access control model. Inf. Technol. J. 8, 726\u2013734 (2009)","journal-title":"Inf. Technol. J."},{"key":"5_CR6","unstructured":"Idani, A., Ledru, Y., Richier, J., Labiadh, M.A., Qamar, N., Gervais, F., Laleau, R., Milhau, J., Frappier, M.: Principles of the coupling between UML and formal notations. ANR-08-SEGI-018 (2011)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Jaidi, F., Labbene Ayachi, F.: An approach to formally validate and verify the compliance of low level access control policies. In: The 13th International Symposium on Pervasive Systems, Algorithms, and Networks, I-SPAN 2014 (2014)","DOI":"10.1109\/CSE.2014.287"},{"key":"5_CR8","unstructured":"Jaidi, F., Labbene Ayachi, F.: A formal system for detecting anomalies of non-conformity in concrete rbac-based policies. In: the International Conference on Computer Information Systems 2015 WCCAIS-2015- ICCIS (2015)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Jaidi, F., Labbene Ayachi, F.: The problem of integrity in rbac-based policies within relational databases: synthesis and problem study. In: ACM IMCOM 9th international conference on ubiquitous information management and communication: ICUIMC (2015)","DOI":"10.1145\/2701126.2701196"},{"key":"5_CR10","unstructured":"Jaidi, F., Labbene Ayachi, F.: To summarize the problem of non-conformity in concrete rbac-based policies: synthesis, system proposal and future directives. In: NNGT Int. J. Inf. Secur. 2, 1\u201312 (2015)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Ledru, Y., Idani, A., Milhau, J., Qamar, N., Laleau, R., Richier, J., Labiadh, M.A.: Taking into account functional models in the validation of is security policies. In: Advanced Information Systems Engineering (CAiSE) Workshops, vol. 83, pp. 592\u2013606 (2011)","DOI":"10.1007\/978-3-642-22056-2_62"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Lodderstedt, T., Basin, D., Doser, J.: SecureUML: a UML-based modeling language for model-driven security. In: 5th International Conference on the Unified Modeling Language, LNCS, vol. 2460, pp. 426\u2013441. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45800-X_33"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R Sandhu","year":"1996","unstructured":"Sandhu, R., Coynek, E.J., Feinsteink, H.L., Youmank, C.E.: Role-based access control models. IEEE. Computer 29(2), 38\u201347 (1996)","journal-title":"Computer"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10844-010-0146-z","volume":"38","author":"R Thion","year":"2012","unstructured":"Thion, R., Coulondre, S.: A relational database integrity framework for access control policies. J. Intell. Inf. Syst. 38(1), 131\u2013159 (2012)","journal-title":"J. Intell. Inf. Syst."}],"container-title":["Advances in Intelligent Systems and Computing","International Joint Conference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19713-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T09:42:22Z","timestamp":1676454142000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19713-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319197128","9783319197135"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19713-5_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}