Mohamed H. E. Aouadi

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 1

Top Topics

Deadlock Detection

Distributed Systems

Security Policies

Vehicular Networks

Top Venues

Publications

Khalifa Toumi, Mohamed H. E. Aouadi, Ana R. Cavalli, Wissam Mallouli, Jordi Puiggalí Allepuz, Pol Valletb Montfort
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. Comput. J. 61 (8) (2018)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
An Active Testing Tool for Security Testing of Distributed Systems. ARES (2015)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study. CoRR (2014)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
A Formal Approach to Automatic Testing of Security Policies Specified in XACML. FPS (2014)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
On Modeling and Testing Security Properties of Vehicular Networks. ICST Workshops (2014)