A Type System for Expressive Security Policies.

David Walker

Browse the full POPL paper archive.