Conference paper

MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Model for Network-wide Security Analysis. In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008, pp. 171-181. ISBN 0-7695-3141-5.
Publication language:english
Original title:A Formal Model for Network-wide Security Analysis
Title (cs):Formální model a analýza bezpečnosti v počítačové síti
Pages:171-181
Proceedings:Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems
Conference:15th IEEE International Conference on Engineering of Computer-Based Systems
Place:Belfast, GB
Year:2008
ISBN:0-7695-3141-5
Publisher:University of Ulster
URL:http://scholar.google.cz/scholar?cites=2061391929809804034&hl=cs&as_sdt=2000 (CITACE) [HTML]
Files: 
+Type Name Title Size Last modified
iconmatousek_07_formal.pdf268 KB2008-05-23 14:45:59
^ Select all
With selected:
Keywords
network, security, modelling, filtering rules, reachability analysis
Annotation
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situations. In this paper, we introduce a formal method approach for verification of security constraints on networks with dynamic routing protocols in use. A unifying model based on packet-filters is employed for
modelling of network behaviour. Over this graph model augmented with filtering rules over edges verification of  reachability properties can be made. In our approach we also consider topology changes caused by dynamic routing protocols.
BibTeX:
@INPROCEEDINGS{
   author = {Petr Matou{\v{s}}ek and Jaroslav R{\'{a}}b and Ond{\v{r}}ej
	Ry{\v{s}}av{\'{y}} and Miroslav {\v{S}}v{\'{e}}da},
   title = {A Formal Model for Network-wide Security Analysis},
   pages = {171--181},
   booktitle = {Proceeding of the 15 IEEE International Symposium and
	Workshop on the Engineering of Computer-based Systems},
   year = {2008},
   location = {Belfast, GB},
   publisher = {University of Ulster},
   ISBN = {0-7695-3141-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8554}
}

Your IPv4 address: 54.198.159.117
Switch to IPv6 connection

DNSSEC [dnssec]