Logo des Repositoriums
 

Automatic Security Analysis in the Symbolic Model using Tamarin-Prover

Kurzanzeige
dc.contributor.authorStadtländer, EikereverseOrder
dc.contributor.authorNüsken, MichaelreverseOrder
dc.contributor.editorHuth, Christopher
dc.contributor.editorNüsken, Michael
dc.date.accessioned2018-11-18T00:23:00Z
dc.date.available2018-11-18T00:23:00Z
dc.date.issued2018
dc.identifier.doi10.18420/cdm-2018-29-21
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/18247
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V. / FG KRYPTO
dc.relation.ispartofcrypto day matters 29
dc.relation.ispartofseriescrypto day matters
dc.titleAutomatic Security Analysis in the Symbolic Model using Tamarin-Proveren
dc.typeText/Abstract
gi.citation.publisherPlaceBonn
gi.conference.date06.-07.09.2018
gi.conference.locationBosch, Renningen
gi.conference.sessiontitleKurzbeitrag

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
CryptoDayMatters29-21-Stadtlander.pdf
Größe:
75.27 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

Krypto-Tag 29 (2018)