Informace o publikaci

SW pro statickou verifikaci bezpečnostních opatření

Autoři

RÁJA Jiří BOHÁČEK Milan DAUBNER Lukáš DROBŇÁK Michal NUTÁR Ivo

Rok publikování 2022
Druh Software
Fakulta / Pracoviště MU

Ústav výpočetní techniky

www https://beast-public.gitlab-pages.ics.muni.cz/cryton/cryton-documentation/
Přiložené soubory
Popis Předložený SW poskytuje jazyk a nástroje pro specifikaci scénářů statické verifikace bezpečnostních opatření. Umožňuje realizaci těchto scénářů v součinnosti se SW pro ovládání nástrojů ofenzivní bezpečnosti a je primárně využitelný pro realizaci předpřipraveného penetračního testování a pro přípravu kyberbezpečnostních cvičení.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info