Reference : Correctness of source code extension for fault detection in openflow based networks |
Reports : Expert report | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/15749 | |||
Correctness of source code extension for fault detection in openflow based networks | |
English | |
Hermann, Frank ![]() | |
Hommes, Stefan ![]() | |
State, Radu ![]() | |
Engel, Thomas ![]() | |
11-Feb-2014 | |
SnT | |
28 | |
978-2-87971-116-4 | |
TR-SnT-2014-2 | |
Luxembourg | |
Luxembourg | |
[en] Graph transformation ; OpenFlow | |
[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. | |
SnT | |
Researchers | |
http://hdl.handle.net/10993/15749 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.