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

Typ
grant
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) – hlavní řešitel
Blažek Petr, Ing. (UTKO)
Fujdiak Radek, doc. Ing., Ph.D. (UTKO)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Mlýnek Petr, doc. Ing., Ph.D. (UTKO)
Sláčik Ján, Ing. (UTKO)
Vargovčík Pavol, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Publikace

2019

  • ABDULLA, P.; ATIG, M.; BUI PHI, D.; HOLÍK, L.; JANKŮ, P. Chain-Free String Constraints. In Proceedings of ATVA'19. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. p. 277-293. ISBN: 978-3-030-31783-6. Detail
  • HOLÍKOVÁ, L.; JANKŮ, P. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. p. 1-8. ISBN: 978-3-030-45092-2. Detail
  • VARGOVČÍK, P.; HOLÍK, L. Verification of String Programs via Automata. PEFnet 2019 Extended Abstracts. Brno: Mendel University in Brno, 2019. p. 155-156. ISBN: 978-80-7509-692-0. Detail
Nahoru