Mohamed H. E. Aouadi

A Short Survey of Access Control Models

César Andrés, Ana Cavalli, Mohamed H. E. Aouadi, 2015 .

An Active Testing Tool for Security Testing of Distributed Systems

Ana R. Cavalli, Khalifa Toumi, Mohamed H. E. Aouadi, 2015, 2015 10th International Conference on Availability, Reliability and Security.

On Modeling and Testing Security Properties of Vehicular Networks

Ana R. Cavalli, Khalifa Toumi, Mohamed H. E. Aouadi, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study pdf

Ana R. Cavalli, Khalifa Toumi, Mohamed H. E. Aouadi, 2014, ArXiv.

A Formal Approach to Automatic Testing of Security Policies Specified in XACML

Ana R. Cavalli, Khalifa Toumi, Mohamed H. E. Aouadi, 2014, FPS.

A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System

Ana R. Cavalli, Wissam Mallouli, Khalifa Toumi, 2018, Comput. J..