TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(0.7 MB)

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