Show simple item record

dc.contributor.authorSultana, Nikolaien
dc.contributor.authorMortier, Richarden
dc.date.accessioned2016-06-21T10:43:31Z
dc.date.available2016-06-21T10:43:31Z
dc.date.issued2016en
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.languageEnglishen
dc.language.isoenen
dc.publisherCEUR-WS.org
dc.titleKneecap: model-based generation of network trafficen
dc.typeConference Object
dc.description.versionThis is the author accepted manuscript. It is currently under an indefinite embargo pending publication by CEUR-WS.org.en
prism.publicationDate2016en
prism.publicationName14th International Workshop on Satisfiability Modulo Theoriesen
dc.identifier.doi10.17863/CAM.348
dcterms.dateAccepted2016-05-21en
rioxxterms.versionAMen
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2016en
dc.contributor.orcidMortier, Richard [0000-0001-5205-5992]
rioxxterms.typeConference Paper/Proceeding/Abstracten
pubs.funder-project-idEPSRC (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