Automatic Security Analysis in the Symbolic Model using Tamarin-Prover

  • Vollständige Referenz
  • BibTeX
Stadtländer, E. & Nüsken, M., (2018). Automatic Security Analysis in the Symbolic Model using Tamarin-Prover. In: Huth, C. & Nüsken, M. (Hrsg.), crypto day matters 29. Bonn: Gesellschaft für Informatik e.V. / FG KRYPTO. DOI: 10.18420/cdm-2018-29-21
@inproceedings{mci/Stadtländer2018,
author = {Stadtländer, Eike AND Nüsken, Michael},
title = {Automatic Security Analysis in the Symbolic Model using Tamarin-Prover},
booktitle = {crypto day matters 29},
year = {2018},
editor = {Huth, Christopher AND Nüsken, Michael} ,
doi = { 10.18420/cdm-2018-29-21 },
publisher = {Gesellschaft für Informatik e.V. / FG KRYPTO},
address = {Bonn}
}
DateienGroesseFormatAnzeige
CryptoDayMatters29-21-Stadtlander.pdf75.27Kb PDF Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/cdm-2018-29-21

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

Datum: 2018
Sprache: en (en)
Typ: Text/Abstract
Sammlungen

Zur Langanzeige