A formal analysis technique for authentication protocols Sigrid Gürgens. GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für dieses H.: Heinz Thielmann]
Materialtyp:
TextSprache: Englisch Reihen: ; 988 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 988 | Verlag: Sankt Augustin GMD 1996Beschreibung: 19 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 28
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | St Augustin GMD Arbeitspapier Nr. 988 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000114934 |