ETIS - Application of Dependency Graphs to Security Protocol Analysis

Kirje

Tšahhirov, Ilja; Laud, Peeter (2008). Application of Dependency Graphs to Security Protocol Analysis. In: Barthe, Gilles; Fournet, Cedric (Ed.). Trustworthy Global Computing (TGC 2007), Post-proceedings (294−311).. Berlin, Heidelberg: Springer. (Lecture Notes in Computer Science).

Publikatsiooni tüüp

kogumikuartikkel/peatükk raamatus/kogumikus

Autorid, kellel on ETISe konto

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, Ilja; Laud, Peeter

Keeled

Inglise

Väljaande pealkiri

Trustworthy Global Computing (TGC 2007), Post-proceedings

Toimetaja(d)

Nimed sisestada formaadis "Perenimi, Eesnimi" ja mitu nime eraldatuna semikooloniga.

Barthe, Gilles; Fournet, Cedric

Ilmumiskoht

Berlin, Heidelberg

Kirjastus

Springer

Köide

Välja inglisekeelne vaste on "Volume".

4912

Seeria

Lecture Notes in Computer Science

Leheküljed

294–311

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

3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Eesti Teadusinfosüsteem

Application of Dependency Graphs to Security Protocol Analysis

Viited terviktekstile

Seotud asutused

Lisainfo