Amira Radhouani
According to our database1,
Amira Radhouani
authored at least 5 papers
between 2013 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
0
1
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information. (Formal methods for extracting insider attacks from Information Systems).
PhD thesis, 2017
2015
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.
Trans. Petri Nets Other Model. Concurr., 2015
2014
Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure.
Ingénierie des Systèmes d Inf., 2014
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.
Int. J. Inf. Secur. Priv., 2013