Kneecap: Model-based generation of network traffic
View / Open Files
Publication Date
2016Journal Title
CEUR Workshop Proceedings
ISSN
1613-0073
Publisher
CEUR-WS.org
Language
English
Type
Conference Object
This Version
AM
Metadata
Show full item recordCitation
Sultana, N., & Mortier, R. (2016). Kneecap: Model-based generation of network traffic. CEUR Workshop Proceedings https://doi.org/10.17863/CAM.348
Abstract
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 are 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.
Sponsorship
Engineering and Physical Sciences Research Council (Grant ID: EP/K034723/1)
Funder references
Engineering and Physical Sciences Research Council (EP/K031724/2)
Identifiers
External DOI: https://doi.org/10.17863/CAM.348
This record's URL: https://www.repository.cam.ac.uk/handle/1810/256405
Rights
Licence:
http://www.rioxx.net/licenses/all-rights-reserved
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.