Detail publikace

Formal Analysis Approach on Networks with Dynamic Behaviours

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.
Název česky
Formální přístup k analýze počítačových sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
De Silva Gayan (FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

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í.

Rok
2010
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, Moscow, RU
ISBN
978-1-4244-7285-7
Vydavatel
IEEE Computer Society
Místo
Moscow, RU
BibTeX
@INPROCEEDINGS{FITPUB9382,
   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 = "https://www.fit.vut.cz/research/publication/9382"
}
Soubory
Nahoru