[PL-sem-jr] PL Jr, Friday Oct 19 (tomorrow)

Erik Silkensen ejs at ccs.neu.edu
Thu Oct 18 17:23:05 EDT 2012


This week we'll survey the basics of information flow control (IFC), a mechanism for enforcing a security policy by tracking the flow of data through a system.  We'll proceed chronologically, starting with a review of Denning's original lattice model and static analysis from the 70s, and concluding with a look at some of the recent work on adding dynamic IFC to languages with exceptions.

-- Erik


More information about the Pl-sem-jr mailing list