Formálna analýza bezpečnosti kryptografických protokolov
Autor: RNDr. Rastislav Krivoš-Belluš, PhD. Školiteľ: prof. RNDr. Viliam Geffert, DrSc.
- Go to the previous page
- 1
- …
- 6
- 7
- 8
- 9
Autor: RNDr. Rastislav Krivoš-Belluš, PhD. Školiteľ: prof. RNDr. Viliam Geffert, DrSc.