Typing Computationally Secure Information Flow in Jif

Haav, Liisi; Laud, Peeter (2008). Typing Computationally Secure Information Flow in Jif. Nordsec 2008, 13th Nordic Workshop on Secure IT-Systems, Kogens Lyngby, Denmark, October 9-10, 2008. Toim. Hanne Riis Nielson and Christian Probst.
publitseeritud konverentsiettekanne
Haav, Liisi; Laud, Peeter
Hanne Riis Nielson and Christian Probst
Nordsec 2008, 13th Nordic Workshop on Secure IT-Systems, Kogens Lyngby, Denmark, October 9-10, 2008
2008
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile