Information Flow Control on the Web with Racets

Soulanille, Matthew

dc.contributor.advisor	Micinski, Kristopher
dc.contributor.author	Soulanille, Matthew
dc.date.accessioned	2019-08-21T16:18:34Z
dc.date.available	2019-08-21T16:18:34Z
dc.date.issued	2019
dc.identifier.uri	http://hdl.handle.net/10066/21633
dc.description.abstract	Faceted execution is a technique for dynamic information flow control that allows programmers to program in a policy-agnostic manner. Racets uses macros to extend Racket with support for faceted execution. We present the beginnings of a web framework built in Racets that links client-side button presses to declassification of faceted values in a way that makes it easy for programmers to understand how private data flows in their applications.
dc.description.sponsorship	Haverford College. Department of Computer Science
dc.language.iso	eng
dc.rights.uri	http://creativecommons.org/licenses/by-nc/4.0/
dc.subject.lcsh	Racket (Computer program language) -- Security measures
dc.subject.lcsh	Web site development
dc.subject.lcsh	Computer networks -- Security measures
dc.subject.lcsh	Electronic information resources -- Access control
dc.title	Information Flow Control on the Web with Racets
dc.type	Thesis
dc.rights.access	Open Access