Mohamed H. E. Aouadi

According to our database, Mohamed H. E. Aouadi authored at least 5 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

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

Khalifa Toumi, Mohamed H. E. Aouadi, Ana R. Cavalli, Wissam Mallouli, Jordi Puiggalí Allepuz, Pol Valletb Montfort

Comput. J., 2018

2015

An Active Testing Tool for Security Testing of Distributed Systems.

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

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

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

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

CoRR, 2014

On Modeling and Testing Security Properties of Vehicular Networks.

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

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

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

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

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014