Detail projektu

Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám

Období řešení: 1. 3. 2019 - 28. 2. 2020

Typ projektu: grant

Kód: FEKT/FIT-J-19-5906

Agentura: Vysoké učení technické v Brně

Program: Vnitřní projekty VUT

Název anglicky
Advanced methods of deep inspection in the application layer to defend against today's threats
Typ
grant
Klíčová slova

Detekce siťových hrozeb, hloubková analýza síťové komunikace, analýza řetězců

Abstrakt

Projekt se zabývá metodami hluboké inspekce provozu v rámci aplikační vrstvy a to převážně pro protokoly HTTP/HTTPs. To znamená zaměření nejen na nešifrovanou klasickou komunikaci, ale řešení komplexní problematiky šifrované komunikace mezi odesilatelem a příjemcem. Tento přístup umožní větší vhled do provozu a následné bližší porozumnění provozu i samotným aplikacím. Díky tomu bude možné rozšířit klasické detekční systémy o pokročilé algoritmy, které budou schopny pomocí hledání vzorů a inspekce protokolů odhalovat nežádoucí provoz.

Řešitelé
Janků Petr, Ing. (UITS FIT VUT) , hlavní řešitel
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Mlýnek Petr, doc. Ing., Ph.D. (FEKT VUT) , spoluřešitel
Sláčik Ján, Ing. (FEKT VUT) , spoluřešitel
Vargovčík Pavol, Ing. (UITS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Publikace

2019

  • ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš a JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, roč. 11781. Cham: Springer International Publishing, 2019, s. 277-293. ISBN 978-3-030-31783-6. Detail
  • HOLÍKOVÁ Lenka a JANKŮ Petr. Solving String Constraints with Approximate Parikh Image. In: Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019, s. 1-8. ISBN 978-3-030-45092-2. Detail
  • HOLÍK Lukáš a VARGOVČÍK Pavol. Verification of String Programs via Automata. In: PEFnet 2019 Extended Abstracts. Brno: Mendelova univerzita v Brně, 2019, s. 155-156. ISBN 978-80-7509-692-0. Detail
Produkty

2019

  • PICoSo: SMT řešič pro řezězcová omezení, software, 2019
    Autoři: Holíková Lenka, Janků Petr Detail
Nahoru