Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14610%2F22%3A00129789" target="_blank" >RIV/00216224:14610/22:00129789 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

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

  • Popis výsledku v původním jazyce

    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í.

  • Název v anglickém jazyce

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

  • Popis výsledku anglicky

    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í.

Klasifikace

  • Druh

    R - Software

  • CEP obor

  • OECD FORD obor

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/VI20202022133" target="_blank" >VI20202022133: Nástroje pro simulaci útoků a emulaci průniku do kritické informační infrastruktury</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2022

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Interní identifikační kód produktu

    BEAST-R2

  • Technické parametry

    Software pro statickou verifikaci bezpečnostních opatření představuje unikátní nástroj umožňující definovat komplexní plány kyberbezpečnostních interakcí, jež jsou využitelné převážně pro realizaci penetračního testování a pro přípravu kyberbezpečnostních cvičení. Software poskytuje grafické uživatelské rozhraní, které umožňuje jednak definovat plány, ale také provádět následnou analýzu výsledků průběhu plánovaných scénářů. Software je distribuován jako open-source pod licencí MIT; vlastníkem výsledku je Masarykova univerzita, IČO 00216224. Kontaktní osoba: RNDr. Martin Drašar, Ph.D., Ústav výpočetní techniky, Masarykova Univerzita, Šumavská 416/15, Brno 602 00, e-mail: drasar@ics.muni.cz, tel: +420 549 49 3295.

  • Ekonomické parametry

    Hlavním přínosem tohoto software je redukce náročnosti ovládání prostředků ofenzivní bezpečnosti. Tyto nástroje jsou využívány především při realizaci kyberbezpečnostních cvičení a při penetračním testování. Nasazením tohoto software se tak snižují nároky na počet a expertízu realizačních týmů, což v důsledku znamená snižení jejich nákladnosti.

  • IČO vlastníka výsledku

    00216224

  • Název vlastníka

    Masarykova Univerzita