Automatická analýza síťové bezpečnosti

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70902" target="_blank" >RIV/00216305:26230/07:PU70902 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Automatická analýza síťové bezpečnosti

Popis výsledku v původním jazyce

Počítačová síť typu LAN či WAN je tvořena aktivními prvky, které jsou spolu propojeny. Tyto uzly tvoří určitou topologii. Pokud známe topologii sítě a konfiguraci aktivních prvků, jsme schopni odhadnout chování konvergované sítě. Chování sítě můžeme zkoumat podobnými metodami, jaké se používají pro časované systémy či analýzu programů. Lze použít například statickou analýzu modelu sítě, verifikaci metodou model checking apod. Pomocí těchto přístupů můžeme ověřovat například dostupnost určitých stavů sítě (reachability), bezpečnost (safety) a další vlastnosti. Na semináři budeme diskutovat možnosti automatické analýzy sítě z pohledu bezpečnosti a využití formálních přístupů k ověřování chování sítě.

Název v anglickém jazyce

Automated Network-Wide Security Analysis

Popis výsledku anglicky

LAN and WAN networks are composed of active device their connections. The nodes make a network topology. If network topology and configuration of the nodes is well described (or automatically derived) we can predict behaviour of the converged network. The behaviour can be analyzed by similar methods that are frequently used for analysis of program and timed systems, e.g. static analysis, model checking etc. Using these techniques different properties of the system can be analyzed - reachability, safetyetc. Our seminary talk will discuss the possibility of automated network-wide analysis from perspective of security. We show how formal approach can be exploited to verify behaviour of the network.

Druh

A - Audiovizuální tvorba

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

—

Místo vydání

—

Název nakladatele resp. objednatele

—

Verze

—

Identifikační číslo nosiče

—