A Type System for Expressive Security Policies David Walker Cornell University Extensible Systems Extensible systems are everywhere: web browsers, extensible operating systems,…