Logo des Repositoriums
 
Abstract

Automatic Security Analysis in the Symbolic Model using Tamarin-Prover

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Abstract

Zusatzinformation

Datum

2018

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V. / FG KRYPTO

Zusammenfassung

Beschreibung

Stadtländer, Eike; Nüsken, Michael (2018): Automatic Security Analysis in the Symbolic Model using Tamarin-Prover. crypto day matters 29. DOI: 10.18420/cdm-2018-29-21. Bonn: Gesellschaft für Informatik e.V. / FG KRYPTO. Kurzbeitrag. Bosch, Renningen. 06.-07.09.2018

Schlagwörter

Zitierform

Tags