Maschinell unterstützte Analyse eines Sicherheitsprotokolls

Lokale TagsFreigabegeschichteDetailsÜbersicht

Maschinell unterstützte Analyse eines Sicherheitsprotokolls

Bastuck, A. (2006). Maschinell unterstützte Analyse eines Sicherheitsprotokolls. Diploma Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-24D4-E Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACD4-2

Genre: Hochschulschrift

ausblenden:

Urheber:
Bastuck, Andrea¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

ausblenden:

Sprache(n): deu - German

Datum: Angenommen: 2006Erschienen: 2006

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 521700
Anderer: Local-ID: C125716C0050FB51-3477917124330404C125726C005278ED-Bastuck2006

Art des Abschluß: Diplom

Datensatz