Detail publikace

Formal Analysis Approach on Networks with Dynamic Behaviours

DE SILVA, G.; MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M. Formal Analysis Approach on Networks with Dynamic Behaviours. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010. p. 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
anglicky
Autoři
de Silva Hidda Marakkala Gayan Ruchika, MSc
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

formal modelling, networking, reachability, routing, state space reduction

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)
ISBN
978-1-4244-7285-7
Vydavatel
IEEE Computer Society
Místo
Moscow
BibTeX 
@inproceedings{BUT34416,
  author="Hidda Marakkala Gayan Ruchika {de Silva} and Petr {Matoušek} and Ondřej {Ryšavý} and Miroslav {Švéda}",
  title="Formal Analysis Approach on Networks with Dynamic Behaviours",
  booktitle="2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)",
  year="2010",
  pages="545--551",
  publisher="IEEE Computer Society",
  address="Moscow",
  isbn="978-1-4244-7285-7",
  url="https://www.fit.vut.cz/research/publication/9382/"
}
Nahoru