Mohamed H. E. Aouadi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2015
An Active Testing Tool for Security Testing of Distributed Systems.
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.
CoRR, 2014

On Modeling and Testing Security Properties of Vehicular Networks.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A Formal Approach to Automatic Testing of Security Policies Specified in XACML.
Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014


  Loading...