Článek ve sborníku konference

DE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. Formal Analysis Approach on Networks with Dynamic Behaviours. In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 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: 
+Typ Jméno Název Vel. Poslední změna
icon2010-gayan_rndm.pdf1,19 MB2010-11-24 09:08:40
^ Vybrat vše
S vybranými:
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{\v{s}}ek and
	Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and Miroslav
	{\v{S}}v{\'{e}}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.cs?id=9382}
}

Vaše IPv4 adresa: 18.232.124.77
Přepnout na https