HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

access control2, Access Control Policy, FDD, Firewall, formal analysis, Formal Verification and Validation, Information Systems Security, Misconfiguration, Risk, risk assessment2, risk management.

Copyright © 2012-2025 easychair.org. All rights reserved.