Výzkumná skupina počítačové sítě a vestavěné systémy

Skupina se zabývá zkoumáním možností aplikace formálních metod pro specifikace a analýzu počítačových sítí, komunikačních protokolů a vestavěných systémů.

Témata výzkumu

  • Metody pro zvýšení spolehlivosti a bezpečnosti softwaru vestavěných systémů
  • Analýza a specifikace komunikujících vestavěných systémů
  • Bezdrátová komunikace a senzorové sítě
  • Automatická analýza síťové bezpečnosti (projekt ANSA)
  • Modelování a simulace počítačových sítí se zaměřením na Cisco technologie (projekt NeSiM)
  • Návrh bezpečných komunikačních protokolů

Další informace

Pro zájemce o oblast počítačových sítích a komunikací pořádá výzkumná skupina Nes@FIT (Networked and embedded systems AT FIT) odborné semináře, obvykle první středu v měsíci. Přehled seminářů lze najít na WWW stránkách skupiny.

Studentské projekty

V rámci výzkumné skupiny je možné řešit bakalářské a diplomové projekty na témata, která jsou odvozena z témat aktuálního výzkumu, který probíhá na FIT ve skupině NES. V současné době se jedná o následující oblasti a projekty:

Bezpečnost na Internetu (projekt SEC6NET, ve spolupráci s Ministerstvem vnitra ČR)
  • Extrakce videostreamů z počítačové komunikace (BP, Vladimír Veselý)
  • Locator/ID Split protokol jako tranzitní technologie, (BP, Vladimír Veselý)
  • Analýza a rekonstrukce protokolu HTTP (DP, Vladimír Veselý)
  • Extrakce komunikace s webovým portálem (DP, Vladimír Veselý)
  • Detekce tunelových dat: přechodové mechanismy IPv6, MPLS, GRE (DP, Libor Polčák)
  • Skrytí dat v počítačových sítích (steganografie, skryté kanály) (DP/BP, Libor Polčák)
  • Rychlé rozpoznání aplikačního protokolu (DP, Libor Polčák)
  • Analýza síťového provozu (komunikace mezi počítači, pravidelně se opakující vzory, entropie, detekce podezřelých hodnot v hlavičkách protokolů) (DP, Libor Polčák)
  • Korelace dat na vstupu a výstupu sítě Tor (BP/DP, Libor Polčák)
  • Využití informací přenášených HTTP protokolem pro identifikaci počítače v síti (BP, Libor Polčák)
  • Zjištění odposlouchávané osoby neoprávněným uživatelem (BP, Libor Polčák)
  • Protocol Parsing Language - univerzální jazyk pro klasifikaci a parsování komunikačních protokolů (DP, Ondřej Ryšavý)
  • CmdLet rozhraní pro klasifikaci a extrakci datových toků (DP/BP, Ondřej Ryšavý)

Aplikace pro NetFlow (ve spolupráci s firmou INVEA-TECH)Návrh, simulace a modelování sítí (projekt NeSim)
Programování aktivních sítí/OpenFlow
Toto jsou aktuální témata nabízená na akademický rok 2012/2013. Témata je možné vidět i v informačním systému. Poslední aktualizace 16. května 2012.

Vaše IPv4 adresa: 38.107.179.216
Přepnout na IPv6 spojení

DNSSEC [dnssec]