Card-Based Cryptography Meets Formal Verification

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1882-7055
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Card-Based Cryptography Meets Formal Verification ; volume:39 ; number:1 ; day:2 ; month:4 ; year:2021 ; pages:115-158 ; date:4.2021
New generation computing ; 39, Heft 1 (2.4.2021), 115-158, 4.2021

Urheber
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s00354-020-00120-0
URN
urn:nbn:de:101:1-2021060622112308339812
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:59 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Ähnliche Objekte (12)