Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus

Pettai, Martin; Laud, Peeter (2013). Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus. 18th Nordic Conference on Secure IT Systems (Nordsec 2013), Ilulissat, Greenland, October 18-21, 2013. Ed. Gollmann, Dieter; Nielson, Hanne Riis. Springer, 100−115. (Lecture Notes in Computer Science; 8208).
publitseeritud konverentsiettekanne
Pettai, Martin; Laud, Peeter
  • Inglise
Gollmann, Dieter; Nielson, Hanne Riis
18th Nordic Conference on Secure IT Systems (Nordsec 2013), Ilulissat, Greenland, October 18-21, 2013
Springer
Lecture Notes in Computer Science
8208
2013
100115
Ilmunud
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)

Viited terviktekstile