Kritériá hodnotenia bezpečnosti informačných systémov

• Post author:Vanda Matušíková
• Post published:1. júla 2011
• Post category:Diplomové práce

Autor: doc. RNDr. JUDr. Pavol Sokol, PhD. Školiteľ: doc. RNDr. Jozef Jirasek, PhD.

Continue ReadingKritériá hodnotenia bezpečnosti informačných systémov

Formálna analýza bezpečnosti kryptografických protokolov

• Post author:Vanda Matušíková
• Post published:1. júla 2010
• Post category:Dizertačné práce

Autor: RNDr. Rastislav Krivoš-Belluš, PhD. Školiteľ: prof. RNDr. Viliam Geffert, DrSc.

Continue ReadingFormálna analýza bezpečnosti kryptografických protokolov