haku: @keyword justifying Dolev-Yao model / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Extending a universally composable cryptographic library
2008 Ngo, Long
« edellinen sivu | seuraava sivu »
INSSI