Michal Pázmány
Osobná stránka.
Diplomová práca
PDF Zadanie AIS - stiahnuť
Názov - Formálne metódy a informačný tok
Formal methods and information flow
Školiteľ - doc. RNDr. Damas Gruska, PhD.
Cieľ - Cieľom práce je výskum (prípadne vyvoj softvérového nástroja) v oblasti bezpščnosti založenej na absencii informačného toku.
Anotácia - Cieľom práce je výskum (prípadne vyvoj softvérového nástroja) v oblasti bezpščnosti založenej na absencii informačného toku.
Cieľe pre Projektový seminár(2)
Aktuálny stav diplomovej práce - pdf stiahnuť
Aktuálny stav diplomovej práce - LaTex stiahnuť
Literatúra references.bib stiahnuť
Aplikácia - stiahnuť
Zdroje
informacny tok casovany - stiahnuť
web timing utok - stiahnuť
vyuzitie uppaalu na analyzu - stiahnuť
informacny tok model checking - stiahnuť
informacny tok viacvlaknove - stiahnuť
informacny tok simulaciou - stiahnuť
Python informacny tok - stiahnuť
Casove utoky web - stiahnuť
web timing - stiahnuť
web timing 2 - stiahnuť
Časový plán
x December 2021 - výber témy
x LS 2022 - spracovanie zdrojov, kostra práce LaTex
x September - December 2022 - písanie teórie, čiastočná implementácia
Február 2023 - opísanie existujúcich riešení, implementácia
Marec 2023 - výskum, testovanie
Apríl 2023 - porovnávanie výsledkov, záver
Máj 2023 - finálna kontrola - odovzdanie
-------------------------------------------------------------------------------Cieľe pre Projektový seminár(1)
Aktuálny stav diplomovej práce - pdf stiahnuť
Aktuálny stav diplomovej práce - LaTex stiahnuť
Literatúra references.bib stiahnuť
Zdroje
High integrity software stiahnuť
JFlow stiahnuť