| Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, s. 39-53, ISBN 978-3-642-25205-1 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Static Analysis of Routing and Firewall Policy Configurations |
|---|
| Název (cs): | Statická analýza směrování a konfigurace politiky firewallů |
|---|
| Strany: | 39-53 |
|---|
| Kniha: | e-Business and Telecommunications |
|---|
| Řada knih: | LNCS CCIS, Vol.222 |
|---|
| Místo vydání: | Heidelberg, DE |
|---|
| Rok: | 2012 |
|---|
| ISBN: | 978-3-642-25205-1 |
|---|
| Vydavatel: | Springer Science+Business Media B.V., |
|---|
| URL: | http://www.springerlink.com/content/978-3-642-25206-8 [PDF] |
|---|
| Soubory: | |
|---|
|
| | Klíčová slova |
|---|
| Reachability, routing, filtering, forwarding |
| Anotace |
|---|
| Příspěvek pojednává o analýze bezpečnosti založené na výpočtech dosažitelnosti v dynamicky směrovaných sítích. Zahrnuje návrh abstraktního modelu směrování umožňující jemnější aproximaci včetně vlivu směrování na přeposílání paketů a filrtrování. |
| BibTeX: |
|---|
@INBOOK{
author = {Miroslav Švéda and Ondřej Ryšavý and Gayan Silva De and Petr
Matoušek and Jaroslav Ráb},
title = {Static Analysis of Routing and Firewall Policy
Configurations},
pages = {39--53},
booktitle = {e-Business and Telecommunications},
series = {LNCS CCIS, Vol.222},
year = {2012},
location = {Heidelberg, DE},
publisher = {Springer Science+Business Media B.V.},
ISBN = {978-3-642-25205-1},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9876}
} |
|