Publication details

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
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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info