Institutional Scholarship

Information Flow Control on the Web with Racets

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc/4.0/ Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc/4.0/

Search


Browse

My Account