Prohlížení České vysoké učení technické v Praze dle předmětu "E-ACSL"
Zobrazují se záznamy 1-1 z 1
-
Ověřitelnost implementace algoritmu RSA
; Vedoucí práce: Knop Dušan; Oponent práce: Smítka Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-17)Tato práce se zabývá zjišťováním možností formální deduktivní verifikace šifrovacího algoritmu RSA. Teoretická část čtenáře uvede do problematiky formální deduktivní verifikace, představí její základní koncepty a nastíní ...