Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Olivier Festor, Laurent Vigneron. Automated verification of a key management architecture for hierarchical group protocols. Annales des Télécommunications, 62(11-12):1365-1387, 2007. [doi]
Abstract is missing.