This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/resource/domain/vavai/zamer/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/kodPristupu/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F07%3APU70902%21RIV10-MSM-26230___/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F07%3APU70902%21RIV10-MSM-26230___
rdf:type
n10:Vysledek skos:Concept
rdfs:seeAlso
http:/www.fit.vutbr.cz/~matousp/doc/2007/ansa-uvod.pdf
dcterms:description
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, safety etc. 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. 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ě. 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ě.
dcterms:title
Automatická analýza síťové bezpečnosti Automatická analýza síťové bezpečnosti Automated Network-Wide Security Analysis
skos:prefLabel
Automated Network-Wide Security Analysis Automatická analýza síťové bezpečnosti Automatická analýza síťové bezpečnosti
skos:notation
RIV/00216305:26230/07:PU70902!RIV10-MSM-26230___
n4:aktivita
n11:Z
n4:aktivity
Z(MSM0021630528)
n4:dodaniDat
n6:2010
n4:domaciTvurceVysledku
n18:1842919
n4:druhVysledku
n16:A
n4:duvernostUdaju
n14:S
n4:entitaPredkladatele
n17:predkladatel
n4:idSjednocenehoVysledku
411135
n4:idVysledku
RIV/00216305:26230/07:PU70902
n4:jazykVysledku
n7:cze
n4:klicovaSlova
network analysis, formal verification, packet classification, traffic filtering, decision diagrams<br>
n4:klicoveSlovo
n5:formal%20verification n5:traffic%20filtering n5:packet%20classification n5:network%20analysis n5:decision%20diagrams%3Cbr%3E
n4:kodPristupu
n19:V
n4:kontrolniKodProRIV
[4802C554BF10]
n4:obor
n9:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:rokUplatneniVysledku
n6:2007
n4:tvurceVysledku
Matoušek, Petr
n4:zamer
n12:MSM0021630528
n13:organizacniJednotka
26230