Formální model a analýza bezpečnosti v počítačové síti

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU76675" target="_blank" >RIV/00216305:26230/08:PU76675 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Formal Model for Network-wide Security Analysis

Popis výsledku v původním jazyce

Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situations. In this paper, we introduce a formal method approach for verification ofsecurity constraints on networks with dynamic routing protocols in use. A unifying model based on packet-filters is employed for<br>modelling of network behaviour. Over this graph model augmented with filtering rules over edges verification of&nbsp; reachability properties can be made. In our approach we also consider topology changes caused by dynamic routing protocols.<br>

Název v anglickém jazyce

A Formal Model for Network-wide Security Analysis

Popis výsledku anglicky

Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situations. In this paper, we introduce a formal method approach for verification ofsecurity constraints on networks with dynamic routing protocols in use. A unifying model based on packet-filters is employed for<br>modelling of network behaviour. Over this graph model augmented with filtering rules over edges verification of&nbsp; reachability properties can be made. In our approach we also consider topology changes caused by dynamic routing protocols.<br>

Druh

D - Stať ve sborníku

CEP obor

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

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F08%2F1429" target="_blank" >GA102/08/1429: Bezpečnost a zabezpečení aplikací sítí vestavěných systémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

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ů

Název statě ve sborníku

Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems

ISBN

0-7695-3141-5

ISSN

—

e-ISSN

—

Počet stran výsledku

11

Strana od-do

—

Název nakladatele

University of Ulster

Místo vydání

Belfast

Místo konání akce

Belfast

Datum konání akce

31. 3. 2008

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—