Keyword:Formal Verification and Validation

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