Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Logi sisse
pealkiri
CDOC 2.0 protokollide analüüs ProVerifis
Analysis of CDOC 2.0 Protocols in ProVerif
autor
Warren, Liam Simonos
märksõnad
krüptograafia
mudelid
magistritööd
master's theses
cryptography
formal model
CDOC2
ProVerif
juhendaja
Snetkov, Nikita
kaitsmiskuupäev
29.05.2024
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science
allüksus
Küberkaitse magister (IVCM)
Cybersecurity Master (IVCM)
  • Laadi alla
    pdf 1004 KB
TalTech Digikogu