Now showing items 1-3 of 3

  • Analýza vybraných bezpečnostních protokolů 

    Říha, Tomáš
    Tato bakalářská práce se zabývá nástrojem SRI Constraint Solver, určeným pro analýzu bezpečnostních protokolů. Nástroj je v práci stručně charakterizován, a jeho syntaxe předvedena na implementaci protokolu Needham-Schroeder ...
  • Analýza vybraných bezpečnostních protokolů 

    Malecký, Marek
    Předmětem této diplomové práce je studium dostupných bezpečnostních protokolů a nástrojů sloužících k jejich verifikaci. První část práce se krátce věnuje popisu pojmů souvisejících s oblastí bezpečnostních protokolů a ...
  • Metody návrhu bezpečnostních protokolů 

    Hranáč, Jakub
    Tato práce popisuje několik metod návrhu bezpečnostních protokolů. Metoda " A Simple Logic for Authentication Protocol Design" je následně implementována včetně vlastního rozšíření o počáteční vlastnictví zpráv a oprávnění ...