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

• Title in English: SW for static verification of security measures
• Authors: RÁJA Jiří; BOHÁČEK Milan; DAUBNER Lukáš; DROBŇÁK Michal; NUTÁR Ivo
• Year of publication: 2022
• MU Faculty or unit: Institute of Computer Science
• web: https://beast-public.gitlab-pages.ics.muni.cz/cryton/cryton-documentation/

Attached files

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

• Description: 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í.

Related projects

• Breach Emulation and Attack Simulation Toolkit