Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI)

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]

Authors

Catherine Meadows

This author has not been identified. Look up 'Catherine Meadows' in Google