Faouzi Jaidi

发表

Advanced Access Control to Information Systems: Requirements, Compliance and Future Directives

Faouzi Jaidi, 2017 .

An Approach to Formally Validate and Verify the Compliance of Low Level Access Control Policies

Faouzi Jaidi, Faten Labbene Ayachi, Faten Ayachi, 2014, 2014 IEEE 17th International Conference on Computational Science and Engineering.

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

Faouzi Jaidi, Faten Labbene Ayachi, 2015, CISIS 2015.

A risk awareness approach for monitoring the compliance of RBAC-based policies

Faouzi Jaidi, Faten Labbene Ayachi, 2015, 2015 12th International Joint Conference on e-Business and Telecommunications (ICETE).