Application of Dependency Graphs to Security Protocol Analysis
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).
artikkel / peatükk kogumikus
Tšahhirov, Ilja; Laud, Peeter
- Inglise
Trustworthy Global Computing (TGC 2007), Post-proceedings
Barthe, Gilles; Fournet, Cedric
Berlin, Heidelberg
Springer
4912
Lecture Notes in Computer Science
2008
294–311
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Teadmata
Viited terviktekstile
Seotud asutused
Lisainfo
- SF0182712s06 "Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused. (1.01.2006−31.12.2011)", Jaak Vilo, Tartu Ülikool, Matemaatika-informaatikateaduskond.
- 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.
- SF0012708s06 "Heterogeensete infosüsteemide teoreetiline ja praktiline turvalisus (1.01.2006−31.12.2011)", Ahto Buldas, Cybernetica AS.
- ETF6944 "Krüptograafiliste protokollide turvatõestused (1.01.2007−31.12.2009)", Peeter Laud, Cybernetica AS.