SW pro statickou verifikaci bezpečnostních opatření
| Title in English | SW for static verification of security measures |
|---|---|
| Authors | |
| Year of publication | 2022 |
| MU Faculty or unit | |
| web | https://beast-public.gitlab-pages.ics.muni.cz/cryton/cryton-documentation/ |
| Attached files | |
| 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: |