Author:Adel Bouhoula

Publications
A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment Faouzi Jaidi, Faten Labbene Ayachi and Adel Bouhoula In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaidi and Adel Bouhoula In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Automatic detection and correction of firewall misconfigurations- A formal approach Amina Saâdaoui, Nihel Ben Youssef and Adel Bouhoula In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017