A master thesis from Aalborg University
Prex: A tool for Reachability Analysis In MPLS Networks
Term
4. term
Education
Publication year
2018
Submitted on
2018-06-08
Abstract
We describe Prex, a tool for analyzing MPLS networks leveraging an automata theoretic approach. While we base our approach on previous works, we extend their approaches in a multitude of ways. We introduce a method of constructing queries based on regular expressions which permits the user to write highly complex queries, and implement a method of verifying these queries on the networks. We benchmark our tool and compare it with another recognized tool. We perform a case study on a large scale in production MPLS network, and use our tool verify certain interesting properties in their network.
Keywords
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.