Correctness of source code extension for fault detection in openflow based networks

Reference : Correctness of source code extension for fault detection in openflow based networks


	Document type :	Reports : Expert report
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/15749

Title :	Correctness of source code extension for fault detection in openflow based networks
Language :	English
Author, co-author :	Hermann, Frank [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Hommes, Stefan [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	State, Radu [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Engel, Thomas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	11-Feb-2014
Publisher :	SnT
Number of pages :	28
ISBN :	978-2-87971-116-4
Report number :	TR-SnT-2014-2
City :	Luxembourg
Country :	Luxembourg
Keywords :	[en] Graph transformation ; OpenFlow
Abstract :	[en] Software Defined Networks using OpenFlow have to provide a re- liable way to detect network faults and attacks. This technical report shows a formal analysis of correctness for an automated code extension technique used to extend OpenFlow networks with a logging mecha- nism that is used for the detection of faults and attacks. As presented in a companion paper, we applied the code extension techniques for a framework that can extend controller programs transparently, making possible on-line fault management, debugging as well as off-line and forensic analysis.
Research centres :	SnT
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/15749

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	HHSE14.pdf		Publisher postprint	2.83 MB	Request a copy

All documents in ORBi^lu are protected by a user license.