Detail publikace

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

MATOUŠEK, P.

Originální název

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

Český název

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

Typ

audiovizuální tvorba

Jazyk

cs

Originální abstrakt

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ě.

Český abstrakt

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ě.

Klíčová slova

analýza sítě, formální verifikace, klasifikace paketů, filtrování provozu, rozhodovací diagramy

Vydáno

22.10.2007

Místo

Brno

Strany počet

25

BibTex


@misc{BUT63694,
  author="Petr {Matoušek}",
  title="Automatická analýza síťové bezpečnosti",
  annote="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ě.",
  chapter="63694",
  howpublished="print",
  year="2007",
  month="october",
  pages="0--0",
  type="presentation"
}