Amira Radhouani

According to our database, Amira Radhouani authored at least 5 papers between 2013 and 2017.

Collaborative distances:

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

2017

Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information. (Formal methods for extracting insider attacks from Information Systems).

Amira Radhouani

PhD thesis, 2017

2015

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb

Trans. Petri Nets Other Model. Concurr., 2015

2014

Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure.

Akram Idani, Yves Ledru, Amira Radhouani

Ingénierie des Systèmes d Inf., 2014

Extraction of Insider Attack Scenarios from a Formal Information System Modeling.

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

2013

Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol.

Khaoula Marzouki, Amira Radhouani, Narjes Ben Rajeb

Int. J. Inf. Secur. Priv., 2013