A Formal Approach to Automatic Testing of Security Policies Specified in XACML. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (FPS, 2014)

On Modeling and Testing Security Properties of Vehicular Networks. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (ICST Workshops, 2014)

Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (CoRR, 2014)

An Active Testing Tool for Security Testing of Distributed Systems. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (ARES, 2015)

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)