Show simple item record

dc.contributor.authorSultana, N
dc.contributor.authorMortier, R
dc.date.accessioned2016-06-21T10:43:31Z
dc.date.available2016-06-21T10:43:31Z
dc.date.issued2016
dc.identifier.issn1613-0073
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/256405
dc.description.abstractPacket 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.
dc.description.sponsorshipEngineering and Physical Sciences Research Council (Grant ID: EP/K034723/1)
dc.languageEnglish
dc.language.isoen
dc.publisherCEUR-WS.org
dc.titleKneecap: Model-based generation of network traffic
dc.typeConference Object
dc.description.versionThis is the author accepted manuscript. It is currently under an indefinite embargo pending publication by CEUR-WS.org.
prism.publicationDate2016
prism.publicationNameCEUR Workshop Proceedings
dc.identifier.doi10.17863/CAM.348
dcterms.dateAccepted2016-05-21
rioxxterms.versionofrecord10.17863/CAM.348
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserved
rioxxterms.licenseref.startdate2016
dc.contributor.orcidMortier, Richard [0000-0001-5205-5992]
dc.publisher.urlhttp://ceur-ws.org/Vol-1617
rioxxterms.typeConference Paper/Proceeding/Abstract
pubs.funder-project-idEngineering and Physical Sciences Research Council (EP/K031724/2)
cam.orpheus.successThu Nov 05 11:56:23 GMT 2020 - Embargo updated
rioxxterms.freetoread.startdate2017-12-31


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record