Internet Archive Scholar

Kneecap: model-based generation of network traffic [article]

Nikolai Sultana, Richard Mortier, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository
2016

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (382.5 kB)
https://web.archive.org/web/20200115193451/http://ceur-ws.org/Vol-1617/paper1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

Packet generation is an important activity for network administration and security. Tools for packet generation work through template instantiation and are used in an imperative programming style. We describe a new design for a $\textit{declarative}$ packet generator that affords users rich expressiveness to describe the packets they wish to generate. This relies on a domain-specific language for describing packets and constraints over them. This is translated into bitvector constraints that
more » ... dispatched to an SMT solver. The resulting bitvector solutions are then concatenated and composed into the different layers of the network protocol stack, and can be sent over the network interface. In this paper we describe a library implementation of this approach, and evaluate its extensibility and scalability.
doi:10.17863/cam.348 fatcat:dryg6yh3wvg2ff7e77pyfxu4mm
Citation

Nikolai Sultana, Richard Mortier, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository. "Kneecap: model-based generation of network traffic." (2016)