GadgetCA: A Tool for Generating ReDoS Attacks

GadgetCA - Nástroj pro generování ReDoS útoků

software

vyžadována - zdarma

Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Homoliak Ivan, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Veanes Margus (MSR)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

Tento nástroj umožňuje generování ReDoS útoků pro matchery založené na automatech. Jedná se o první generátor, který je schopný na ně zaútočit. Je založen na čítačových automatech s registry, které jsou malé a zkonstruovatelné rychleji než deterministické konečné automaty.

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/gadgetca

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Efektivní konečné automaty pro automatické usuzování (LL1908)
Spolehlivé, bezpečné a efektivní počítačové systémy (FIT-S-20-6427)
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Výzkumná skupina bezpečnosti informačních technologií (VZ Security@FIT)

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)