Formálna analýza bezpečnosti kryptografických protokolov
Autor: RNDr. Rastislav Krivoš-Belluš, PhD. Školiteľ: prof. RNDr. Viliam Geffert, DrSc.
Autor: RNDr. Rastislav Krivoš-Belluš, PhD. Školiteľ: prof. RNDr. Viliam Geffert, DrSc.