DiscoSec - The IEEE 802.11 device driver for management frame authentication
DiscoSec is a wireless device driver providing management and data frames authentication. It "patches" WLANs against the most prominent vulnerabilities resulting in resource-depletion and impersonation attacks (for more information see paper "Design, Implementation, and Performance Analysis of DiscoSec -- Service Pack for Securing WLANs").
Further details as well as installation instructions can be found on the Project Page.
Source Code: DiscoSec-2.0.zip (updated 2009-10-20)
Old Version: DiscoSec-0.11.zip
DISCO Network Calculator v.1.1
DISCO Lab is proud to present the DISCO Network Calculator, a network calculus library. This library contains a number of classes written in Java(tm) which may be useful for analysing communication networks using the Network Calculus. This calculus allows to determine such characteristics of data flows as the maximum latency or the minimum bandwidth, as long as bounds can be specified for these flows in the form of so-called arrival curves.
The core of this library is the class "Curve" which represents piecewise-linear curves and provides min-plus-algebraic operations on these. Based on these operations, the class "NetworkAnalyser" allows to determine bounds on output, delay, and backlog using various approaches (see also technical report):
- Charny delay and backlog bounds
- Total Flow Analysis
- Separated Flow Analysis
- Pay Multiplexing Only Once (PMOO) Analysis
For some of these approaches the library offers the choice between FIFO and blind multiplexing assumptions. Furthermore, it supports the use of maximum service curves.
Finally, the library contains some useful methods for converting network graphs to server model graphs, an implementation of the Turn Prohibition algorithm for creating feed-forward networks from general network topologies, and a simple class for graphically viewing piecewise-linear curves.
Versions
- Version 1.1 brings changes in the core calculation algorithms, which are now a bit more efficient and suited for bigger problem sizes.
System Requirements
To run and compile version 1.1, you need at least J2SE 1.5 ("Java 5"). To use the precompiled libraries, earlier versions of the JRE may be sufficient, but the source code uses features introduced with version 1.5.
The sources are given as a Netbeans 6 project.
Download
We offer two packages. One is an archive including the compiled library and all dependencies, the other is an archive with the complete source code. For development, you need to get both packages, and set up your environment so that all external libraries are in the classpath.
GraphML Export Filter for BRITE
The DISCO Network Calculator's preferred file format for reading/storing network topologies is GraphML. One way to generate topologies in this format is to use the Boston University's Representative Internet Topology Generator (BRITE). BRITE can generate different types of flat and hierarchical network topologies and can also read topologies in a number of different file formats.
Below you can find a small patch for BRITE that allows to export graphs to the GraphML file format. If you do not have the "patch" program available, download the drop-in version, which contains the already patched files, and simply unpack it in BRITE's base directory.
- BRITE2.1b GraphML Export Filter Patch: patch.gz
- BRITE2.1b GraphML Export Filter Drop-In Replacement: tar.gz zip
Templates
Here you can find the templates for project reports, theses, and presentations at DISCO Lab. We recommend using LyX for writing your project reports and theses, alternatively you may use LaTeX directly. Presentations should be prepared in PowerPoint (or some application which produces compatible files).
| Project/Theses Template | [.tar.gz] | [.zip] |
| LyX Layout File | [.layout] | |
| Presentation Template | [.ppt] |
Note: Templates are only accessible from within the uni-kl.de-domain.
Using the Template with LyX
The following instructions assumes you already have a working LaTeX installation (e.g. TeTeX under Linux or MikTeX under Windows) and LyX installation.
under Linux
- As user root create the directory
/usr/local/share/texmf/tex/latex/tukldaand unpack the template files into this directory. - Execute "
texhash" to make the template known to LaTeX. - Copy the LyX layout file to
~/.lyx/layouts - In the LyX menu bar, do a Tools–>Reconfigure and restart LyX.
under Windows
(description follows...)