Computationally Sound Secrecy Proofs by Mechanized Flow Analysis

Backes, Michael; Laud, Peeter (2006). Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. Proceedings of the 13th ACM Conference on Computer and Communications Security: 13th ACM Conference on Computer and Communications Security, Alexandria, VA, USA, 30.10.-03.11.2006. Ed. Ari Juels, Rebecca Wright, Sabrina De Capitani di Vimercati. ACM, 370−379.
publitseeritud konverentsiettekanne
Backes, Michael; Laud, Peeter
  • Inglise
Proceedings of the 13th ACM Conference on Computer and Communications Security
Ari Juels, Rebecca Wright, Sabrina De Capitani di Vimercati
13th ACM Conference on Computer and Communications Security, Alexandria, VA, USA, 30.10.-03.11.2006
ACM
2006
370379
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