A Formal Approach Based on Verification and Validation Techniques for Enhancing the Integrity of Concrete Role Based Access Control Policies

Faouzi Jaïdi, Faten Labbene-Ayachi. A Formal Approach Based on Verification and Validation Techniques for Enhancing the Integrity of Concrete Role Based Access Control Policies. In Álvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián, Emilio Corchado, editors, International Joint Conference - CISIS'15 and ICEUTE'15, 8th International Conference on Computational Intelligence in Security for Information Systems / 6th International Conference on EUropean Transnational Education, Burgos, Spain, 15-17 June, 2015 . Volume 369 of Advances in Intelligent Systems and Computing, pages 53-64, Springer, 2015. [doi]

Abstract

Abstract is missing.