A Type System for Expressive Security Policies (2000)

by D Walker
Venue:In POPL’00 — Symposium on Principles of Programming Languages