Implementing Cryptographic Primitives in the Symbolic Model

Laud, Peeter (2011). Implementing Cryptographic Primitives in the Symbolic Model. 3rd NASA Formal Methods Symposium, Pasadena, CA, April 18th-20th 2011. Ed. Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev. Springer Verlag, 267−281. (Lecture Notes in Computer Science; 6617).
publitseeritud konverentsiettekanne
Laud, Peeter
  • Inglise
Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev
3rd NASA Formal Methods Symposium, Pasadena, CA, April 18th-20th 2011
Springer Verlag
Lecture Notes in Computer Science
6617
2011
267281
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