HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Faten Labbene Ayachi

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

Keyphrases

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

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