Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach

Kirje

Tšahhirov, I. (2008). Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach. (Doktoritöö, Tallinna Tehnikaülikool). Tallinn University of Technology.

Publikatsiooni tüüp

dissertatsioon

Autorid, kellel on ETISe konto

Ilja Tshahhirov (Autor)

Autorid

Kui väljale „Autorid, kelle on ETISE konto“ sai lisada ainult neid isikuid, kes on ETISe kasutajad, siis väljale „Autorid“ tuleks sisestada kõigi publikatsiooni autorite nimed formaadis "Perenimi, Eesnimi" või "Perenimi, E.". Mitu nime tuleks eraldada semikooloniga. Nimed tuleks jätta sellisele kujule nagu nad on publikatsiooni originaalis ja seda isegi juhul, kui mõne autori nimi on muutunud (nt abiellumise tõttu). Publikatsioonide otsing otsib nimesid nii väljalt "Autorid, kelle on ETISE konto" kui "Autorid" sisust. Kui seotud isik on toimetaja või koostaja, siis tuleks siia reale sisestada tema nimi ning lisaks ka ttegevuse lühend, nt "Perenimi, Eesnimi (Toim.)"

Tšahhirov, I.

Keeled

Inglise

Pealkiri tõlkes

Välja täitmine on soovitatav juhul, kui publikatsiooni originaalpealkiri ei ole inglise keeles. Tõlge võib vajalikuks osutuda näiteks juhul, kui eesti keelt mittevaldav retsensent vaatab publikatsiooni autori ETISe CV-d.

Turvaprotokollide analüüs arvutuslikul mudelil — sõltuvusgraafidel põhinev lähenemisviis

Dissertatsiooni liik

Doktoritöö

Ülikool

Tallinna Tehnikaülikool

Kirjastus

Tallinn University of Technology

ISSN

1406-4731

ISBN

9789985598696

Seeria

Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering

Ilmumisaasta

2008

Lehekülgede arv

201

Staatus

Ilmumas publikatsioonide all peetakse silmas neid, mis on väljaandesse või kogumikku vastu võetud (accepted, in press), ent toimetamise või trükiprotsess on veel pooleli. Ilmumas staatusega publikatsioonide puhul on kohustuslik lisada publikatsiooni andmetesse kas DOI või fail, mis sisaldab toimetaja kinnituskirja publikatsiooni ilmumise kohta.

Ilmunud

Klassifikatsioon

2.3. Dissertatsioonide seerias ilmunud dissertatsioonid (v.a. käsikirjalised);

Open Access

Teadmata

Viited terviktekstile

Fail

Lisatav fail võib olla kuni 3MB suurune. Suuremaid faile võiks proovida väiksemaks teha mõne veebiprogrammiga (otsisõna: compress pdf).

Fail_Security+Protocols+Analysis+in+the+Computational+Model+—+Dependency+Flow+Graphs-Based+Approach.pdf

Seotud asutused

Asutused

Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut

Lisainfo

Imporditud märksõnad

staatiline analüüs, turvaprotokollide analüüs, sõltuvusgraafid

Projektid

ETF6839 (ETF6839) "Arhetüüp-mustreid kasutav mudelipõhine metoodika usaldusväärse tarkvara ja teenuste arendamiseks (1.01.2006−31.12.2009)", Jaak Tepandi, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.

Loobu

Eesti Teadusinfosüsteem

Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach

Viited terviktekstile

Seotud asutused

Lisainfo