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

• 1.2_Vysledek_R2.pdf
• 1.2_Vysledek_R2_-_SW.zip

• 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

• Nástroje pro simulaci útoků a emulaci průniku do kritické informační infrastruktury