[PL-sem-jr] PL Jr, Friday Oct 19 (tomorrow)
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.
More information about the Pl-sem-jr