Výzkumné programy

Výzkumný program Kritické informační infrastruktury a návrh bezpečných systémů se věnuje pokročilým technikám pro návrh a realizaci odolných IT infrastruktur, a to zejména z pohledu bezpečnosti, spolehlivosti a zajištění důvěrnosti citlivých dat, což jsou nedílně propojené perspektivy kvality kritických informačních infrastruktur. V rámci programu jsou studovány, analyzovány a adaptovány vhodně zvolené techniky, které jsou ve výsledku integrovány do metodického postupu návrhu a realizace kritických informačních infrastruktur. Speciální pozornost je pak věnována technikám pro analýzu, simulaci a formální verifikaci kritických informačních infrastruktur v době návrhu.

Používáte starou verzi internetového prohlížeče, která již není podporována. Je možné, že některé aplikace nebudou zobrazeny správně, některé funkčnosti nebudou dostupné, případně budou dostupné v omezeném rozsahu.