title
Hindamismeetod nutikodu ja targavõrgu autentimisprotokollide
Evaluation Method for Smart Home and Smart Grid Authentication Protocols
author
Uku, Marvin
keywords
nutivõrk
tarkkodu
protokoll
autentimine
hindamismeetod
BAN loogika
ProVerif
verifitseermine
smart grid
smart home
protocol
authentication
evaluation method
BAN logic
verification
magistritööd
master's theses
supervisor
Maennel, Olaf Manuel
defence date
02.06.2020
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