Najah Chridi
Pierre de Saqui-Sannes
Thierry Villemur
Benjamin Fontan
Sara Mota
Mohamed Salah Bouassida
Najah Chridi
Isabelle Chrisment
Laurent Vigneron
Formal verification of secure group communication protocols modelled in UML.
125-133
2010
6
Innov. Syst. Softw. Eng.
1-2
https://doi.org/10.1007/s11334-010-0122-3
https://www.wikidata.org/entity/Q121085593
db/journals/isse/isse6.html#Saqui-SannesVFMBCCV10
Najah Chridi
Contributions à la vérification automatique de protocoles de groupes. (Contributions to the automatic verification of group protocols).
2009
Henri Poincaré University, Nancy, France
https://tel.archives-ouvertes.fr/tel-00417290
https://tel.archives-ouvertes.fr/tel-01748392
Najah Chridi
Mathieu Turuani
Michaël Rusinowitch
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists.
277-289
2009
CSF
https://doi.org/10.1109/CSF.2009.10
https://doi.ieeecomputersociety.org/10.1109/CSF.2009.10
conf/csfw/2009
db/conf/csfw/csf2009.html#ChridiTR09
Mohamed Salah Bouassida
Najah Chridi
Isabelle Chrisment
Olivier Festor
Laurent Vigneron
Automated verification of a key management architecture for hierarchical group protocols.
1365-1387
2007
62
Ann. des Télécommunications
11-12
https://doi.org/10.1007/BF03253324
db/journals/adt/adt62.html#BouassidaCCFV07
Mohamed Salah Bouassida
Isabelle Chrisment
Olivier Festor
Benjamin Fontan
Sara Mota
Michaël Rusinowitch
Pierre de Saqui-Sannes
Mathieu Turuani
Laurent Vigneron
Thierry Villemur