Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Logi sisse
title
CDOC 2.0 protokollide analüüs ProVerifis
Analysis of CDOC 2.0 Protocols in ProVerif
author
Warren, Liam Simonos
keywords
krüptograafia
mudelid
magistritööd
master's theses
cryptography
formal model
CDOC2
ProVerif
supervisor
Snetkov, Nikita
defence date
29.05.2024
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technologies
department / college
Tarkvarateaduse instituut
Department of Software Science
subunit
Küberkaitse magister (IVCM)
Cybersecurity Master (IVCM)
  • Download
    pdf 1004 KB
TalTech Digikogu