title
Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach.Turvaprotokollide analüüs arvutuslikul mudelil — sõltuvusgraafidel põhinev lähenemisviis
author
Tšahhirov, Ilja
keywords
Staatiline analüüs
turvaprotokollide analüüs
sõltuvusgraafid
doktoritööd
static analysis
security protocol analysis
dependency graphs
doctoral theses
publisher
TUT Press
supervisor
Tepandi, Jaak
defence date
15.12.2008
identifier
ISBN 9789985598696
ISSN 14064731
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Informaatikainstituut
Department of Informatics