FIT A113 - 13:00 21.4.2011

Martin Tomec: Analýza útoků na bezdrátové sítě
Ve své práci se chci věnovat bezpečnosti VoIP sítí a zejména analýzou útoků na ústředny s cílem zneužití pro podvodná (fraudulent) volání.
V prezentaci nastíním současný stav problematiky a předpokládaný směr dalšího výzkumu.

Zbyněk Michlovský: Vysoce výkonné systémy pro detekci útoků a škodlivých programů
Na semináři budu nejprve prezentovat své výsledky v oblasti String Kernels metod a jejich aplikaci na síťovou bezpečnost. V druhé části prezentace se budu věnovat oblasti netflow a její aplikaci na detekci útoků na nižších vrstvách síťové komunikace.

David Martinek: Dynamické softwarové architektury
V prezentaci bude probráno téma práce a její konkrétnější zaměření na návrh a používání architektury adaptivního agentového systému založeného na formalismu Petriho sítí (PNTalk + SmallDEVS). Představím práci výzkumných skupin, které se podobnou tématikou již zabývají a jejichž výsledky slouží jako inspirační zdroj pro mou práci. V závěru nastíním cíle mé práce a plán nejbližších prací, kterými chci směřovat k jejich řešení.

Petr Müller: Algoritmy využívající vhodné typy logik ve formální verifikaci reálných programů
V prezentaci nastíním téma a budoucí směřování mé disertační práce. Předpokládaný směr je oblast formální verifikace reálných programů, zejména takových, které pracují s dynamickými datovými strukturami. Analýza je založena na formalismu tzv. separační logiky, avšak princip separace je možné uplatnit i v dalších oblastech. Kromě tématu DP bude v prezentaci shrnuto mé působení na FIT za ak. rok 2010/2011.