Now showing items 1-1 of 1

  • 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 ...