Project Details

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

Project Period: 1. 3. 2019 – 28. 2. 2020

Project Type: grant

Code: FEKT/FIT-J-19-5906

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

Type
grant
Abstract

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.

Team members
Janků Petr, Ing. (RG VERIFIT) – research leader
Blažek Petr, Ing. (UTKO)
Fujdiak Radek, doc. Ing., Ph.D. (UTKO)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Mlýnek Petr, doc. Ing., Ph.D. (UTKO)
Sláčik Ján, Ing. (UTKO)
Vargovčík Pavol, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Publications

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
Back to top