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

Ilja Tshahhirov, doktorikraad, 2008, (juh) Jaak Tepandi; Peeter Laud, Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut.
Ilja Tshahhirov
doktorikraad
Kaitstud
Ei
8.07.2002
2008
Inglise
Security Protocols Analysis in the Computational Model — Dependency Flow Graphs-Based Approach