Článek ve sborníku konference

 
De, S., G., Matoušek, P., Ryšavý, O., Švéda, M.: Formal Analysis Approach on Networks with Dynamic Behaviours, In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, RU, IEEE CS, 2010, s. 545-551, ISBN 978-1-4244-7285-7
Jazyk publikace:angličtina
Název publikace:Formal Analysis Approach on Networks with Dynamic Behaviours
Název (cs):Formální přístup k analýze počítačových sítí
Strany:545-551
Sborník:2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)
Konference:2nd International Workshop on Reliable Networks Design and Modeling
Místo vydání:Moscow, RU
Rok:2010
ISBN:978-1-4244-7285-7
Vydavatel:IEEE Computer Society
Soubory: 
Soubor /pub/9382/05676584.pdf nemáte právo číst:
doc_folder_pub1: /pub/9382/05676584.pdf no access 3
Klíčová slova
formal modelling, networking, reachability, routing, state space reduction
Anotace
Tento článek pojednává o aplikaci formálních metod pro analýzu IP sítí s dynamickými směrovacími protokoly. Je popsána fáze modelování sítě a fáze analýzy. Pro modelování jsou uvažovány směrovací portokly RIP, OSPF, a EIGRP. Pro nalýzu jsou uvažovány vlastnosti dostupnosti služby a vlastnosti bezpečnosti., které jsou ověřovány za předpokladu možnosti selhání linek a zařízení.
BibTeX:
@INPROCEEDINGS{
   author = {Gayan Silva De and Petr Matoušek and Ondřej Ryšavý and
	Miroslav Švéda},
   title = {Formal Analysis Approach on Networks with Dynamic Behaviours},
   pages = {545--551},
   booktitle = {2010 International Congress on Ultra Modern
	Telecommunications and Control Systems and Workshops (ICUMT)},
   year = {2010},
   location = {Moscow, RU},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-4244-7285-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9382}
}