Abstract
Automatic Security Analysis in the Symbolic Model using Tamarin-Prover
Lade...
Volltext URI
Dokumententyp
Text/Abstract
Zusatzinformation
Datum
2018
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V. / FG KRYPTO