pealkiri
Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach.Turvaprotokollide analüüs arvutuslikul mudelil — sõltuvusgraafidel põhinev lähenemisviis
autor
Tšahhirov, Ilja
märksõnad
Staatiline analüüs
turvaprotokollide analüüs
sõltuvusgraafid
dissertatsioonid
static analysis
security protocol analysis
dependency graphs
dissertations
väljaandja
TUT Press
juhendaja
Tepandi, Jaak
kaitsmiskuupäev
15.12.2008
identifikaator
ISBN 9789985598696
ISSN 14064731
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
Faculty of Information Technology
instituut / kolledž
Informaatikainstituut
Department of Informatics