Formal Analysis Approach on Networks with Dynamic Behaviours

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89655" target="_blank" >RIV/00216305:26230/10:PU89655 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Formal Analysis Approach on Networks with Dynamic Behaviours
Original language description
Formal verification and validation techniques such as model checking are not widely used in computer networks. these methods are very useful to identify configuration errors, identify design problems and predict network behaviors under different networkconditions. This paper describes the two main components of the formal verification process, formal modelling and the analysis process. For formal modelling, computer networks configured with dynamic routing protocols such as RIP, OSPF, or EIGRP are considered. For the analysis, reachability and security properties are evaluated as the behavioral properties in the case of device or link failures.
Czech name
—
Czech description
—

Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)
ISBN
978-1-4244-7285-7
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Moscow
Event location
Moscow
Event date
Oct 18, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)