Formálna analýza bezpečnosti kryptografických protokolov Post author:Vanda Matušíková Post published:1. July 2010 Post category:Diplomové práce Autor: RNDr. Rastislav Krivoš-Belluš, PhD. Školiteľ: prof. RNDr. Viliam Geffert, DrSc. Continue ReadingFormálna analýza bezpečnosti kryptografických protokolov