Detail projektu

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

Období řešení: 01.03.2019 — 28.02.2020

Zdroje financování

Vysoké učení technické v Brně - Vnitřní projekty VUT

- plně financující (2019-01-01 - 2020-12-31)

O projektu

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.

Označení

FEKT/FIT-J-19-5906

Originální jazyk

čeština

Řešitelé

Janků Petr, Ing. - hlavní řešitel
Blažek Petr, Ing. - spoluřešitel
Fujdiak Radek, doc. Ing., Ph.D. - spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. - spoluřešitel
Mlýnek Petr, doc. Ing., Ph.D. - spoluřešitel
Sláčik Ján, Ing. - spoluřešitel
Vargovčík Pavol, Ing. - spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. - spoluřešitel

Útvary

Ústav inteligentních systémů
- interní (01.01.2019 - 31.12.2019)
Fakulta elektrotechniky a komunikačních technologií
- interní (01.01.2019 - 31.12.2019)
Ústav telekomunikací
- interní (01.01.2019 - 31.12.2019)
Fakulta informačních technologií
- příjemce (01.01.2019 - 31.12.2019)

Výsledky

FUJDIAK, R.; MLÝNEK, P.; MRNUSTIK, P.; BARABAS, M.; BLAŽEK, P.; BORCIK, F.; MIŠUREC, J. Managing the Secure Software Development. In 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS). 2019. p. 1-4. ISBN: 978-1-7281-1542-9.
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

MLÝNEK, P.; MIŠUREC, J.; ŠILHAVÝ, P.; FUJDIAK, R.; SLÁČIK, J.; HASIRCI, Z. Simulation of Achievable Data Rates of Broadband Power Line Communication for Smart Metering. Applied Sciences - Basel, 2019, vol. 9, no. 8, p. 1-22. ISSN: 2076-3417.
Detail

SLÁČIK, J.; MLÝNEK, P.; FUJDIAK, R.; MUSIL, P.; VOZNAK, M.; ORGON, M.; HLAVNICKA, J. Capabilities and Visions of Broadband Power-Line in Smart Grids Applications. In 2019 20th International Scientific Conference on Electric Power Engineering (EPE). 2019. p. 595-599. ISBN: 978-1-7281-1334-0.
Detail

FUJDIAK, R.; MLÝNEK, P.; SLÁČIK, J.; MIŠUREC, J.; VOZNAK, M.; ORGON, M. Investigating the Suitability of Blockchain for Smart Grid. In 2019 20th International Scientific Conference on Electric Power Engineering (EPE). 2019. p. 225-230. ISBN: 978-1-7281-1334-0.
Detail

FUJDIAK, R.; BLAŽEK, P.; MLÝNEK, P.; MIŠUREC, J. Developing Battery of Vulnerability Tests for Industrial Control Systems. In 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS). 2019. p. 1-5. ISBN: 978-1-7281-1542-9.
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

FUJDIAK, R.; BLAŽEK, P.; APVRILLE, L.; MARTINÁSEK, Z.; MLÝNEK, P.; PACALET, R.; SMÉKAL, D.; MRNUSTIK, P.; BARABAS, M.; ZOOR, M. Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle. In 2019 8th Mediterranean Conference on Embedded Computing (MECO). 2019. p. 92-97. ISBN: 978-1-7281-1740-9.
Detail

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.: PICoSo; PICoSo: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na .... URL: https://www.fit.vut.cz/research/product/620/. (software)
Detail

FUJDIAK, R.; MAŠEK, P.; HANÁK, P.; ŠTŮSEK, M.; KRAJSA, O.; POKORNÝ, J.; MLÝNEK, P.; MIŠUREC, J.: G-KS-2018-1; Prototyp NB-IoT senzoru pro kontrolu katodické ochrany plynovodu u kontrolních bodů. SE5-118. (prototyp)
Detail