Skip to content
KC KB
  • About the project
    • Our team
    • Information about activities
  • Activities
    • Teachers
      • Information security needs to be lived
    • Summer school of cybercriminality
      • Summer school of Cybercriminality 2025
      • Summer School of Cybercriminality 2024
    • CyberSecurityDay
      • Autumn CyberSecurityDay 2025
      • Archive CyberSecurityDay 2025
      • Archive CyberSecurityDay 2024
      • Archive CyberSecurityDay 2023
      • Archive CyberSecurityDay 2022
  • Research
    • Datasets
  • Education
    • Public administration
      • Public administration education – layperson, professional employee, manager
      • Public administration education – IT specialist, employee at KB
    • General public
      • Educational portal
      • Reports
    • Highschool students
      • Cyber teams
      • Lectures for students
    • University students
      • Study program AIm – KB
      • Subjects
      • Theses
  • sk_SKSK
  • Toggle website search
Menu Close
  • About the project
    • Our team
    • Information about activities
  • Activities
    • Teachers
      • Information security needs to be lived
    • Summer school of cybercriminality
      • Summer school of Cybercriminality 2025
      • Summer School of Cybercriminality 2024
    • CyberSecurityDay
      • Autumn CyberSecurityDay 2025
      • Archive CyberSecurityDay 2025
      • Archive CyberSecurityDay 2024
      • Archive CyberSecurityDay 2023
      • Archive CyberSecurityDay 2022
  • Research
    • Datasets
  • Education
    • Public administration
      • Public administration education – layperson, professional employee, manager
      • Public administration education – IT specialist, employee at KB
    • General public
      • Educational portal
      • Reports
    • Highschool students
      • Cyber teams
      • Lectures for students
    • University students
      • Study program AIm – KB
      • Subjects
      • Theses
  • sk_SKSK
  • 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.

Comments Off on Formálna analýza bezpečnosti kryptografických protokolov
1. July 2010

Categories

  • 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
  • July 2025
  • July 2024
  • July 2023
  • July 2022
  • July 2021
  • July 2020
  • July 2019
  • July 2018
  • July 2017
  • July 2016
  • July 2015
  • July 2014
  • July 2013
  • July 2012
  • July 2011
  • July 2010

Pavol Jozef Šafárik University in Košice
Šrobárova 2, 040 01 Košice
Computer Security Incident Response Team (CSIRT-UPJS)
Incident reporting: incident@upjs.sk
Facebook: CSIRT UPJS
LinkedIn: CSIRT-UPJS

CSIRT-UPJS © 2025