Skip to content
KC KB
  • O projekte
    • Náš tím
    • Informácia o konaní aktivít
  • Aktivity
    • Učitelia
      • IB treba žiť 2023
    • Letná škola kyberkriminality
      • Letná škola kyberkriminality 2025
      • Letná škola kyberkriminality 2024
    • CyberSecurityDay
      • Jesenný CyberSecurityDay 2025
      • Archív CyberSecurityDay 2025
      • Archív CyberSecurityDay 2024
      • Archív CyberSecurityDay 2023
      • Archív CyberSecurityDay 2022
  • Výskum
    • Datasety
  • Vzdelávanie
    • Verejná správa
      • Vzdelávanie verejná správa – laik, odborný zamestnanec, manažér
      • Vzdelávanie verejná správa – informatik, zamestnanec v KB
    • Verejnosť
      • Vzdelávací portál
      • Reporty
    • Študenti SŠ
      • KyberTímy
      • Prednášky pre SŠ
    • Študenti VŠ
      • Študijný program AIm – KB
      • Predmety
      • Záverečné práce
  • en_GBEN
  • Toggle website search
Menu Close
  • O projekte
    • Náš tím
    • Informácia o konaní aktivít
  • Aktivity
    • Učitelia
      • IB treba žiť 2023
    • Letná škola kyberkriminality
      • Letná škola kyberkriminality 2025
      • Letná škola kyberkriminality 2024
    • CyberSecurityDay
      • Jesenný CyberSecurityDay 2025
      • Archív CyberSecurityDay 2025
      • Archív CyberSecurityDay 2024
      • Archív CyberSecurityDay 2023
      • Archív CyberSecurityDay 2022
  • Výskum
    • Datasety
  • Vzdelávanie
    • Verejná správa
      • Vzdelávanie verejná správa – laik, odborný zamestnanec, manažér
      • Vzdelávanie verejná správa – informatik, zamestnanec v KB
    • Verejnosť
      • Vzdelávací portál
      • Reporty
    • Študenti SŠ
      • KyberTímy
      • Prednášky pre SŠ
    • Študenti VŠ
      • Študijný program AIm – KB
      • Predmety
      • Záverečné práce
  • en_GBEN
  • Toggle website search
Read more about the article Formálna analýza bezpečnosti kryptografických protokolov
Dizertačné práce

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

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

Komentáre vypnuté na Formálna analýza bezpečnosti kryptografických protokolov
1. júla 2010

Kategórie

  • Aktuality
  • Bakalárske práce
  • Články
  • Diplomové práce
  • Dizertačné práce
  • Habilitačné práce
  • Nezaradené
  • Rigorózne práce

Archív

  • september 2025
  • august 2025
  • júl 2025
  • júl 2024
  • júl 2023
  • júl 2022
  • júl 2021
  • júl 2020
  • júl 2019
  • júl 2018
  • júl 2017
  • júl 2016
  • júl 2015
  • júl 2014
  • júl 2013
  • júl 2012
  • júl 2011
  • júl 2010

Univerzita Pavla Jozefa Šafárika v Košiciach
Šrobárova 2, 040 01 Košice
Tím na riešenie počítačových bezpečnostných incidentov (CSIRT-UPJS)
Oznamovanie incidentov: incident@upjs.sk
Facebook: CSIRT UPJS
LinkedIn: CSIRT-UPJS

CSIRT-UPJS © 2025