Catherine Meadows. Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI). In Dirk Fox, Marit Köhntopp, Andreas Pfitzmann, editors, Verlässliche IT-Systeme 2001: Sicherheit in komplexen IT-Infrastrukturen, Proceedings der GI-Fachtagung VIS 2001, 12.-14.09.2001 in Kiel. pages 147-150, Vieweg+Teubner Verlag, 2001. [doi]
Abstract is missing.