A type system for expressive security policies (2000)

by David Walker
Venue:In 27th ACM SIGPLAN Symposium on Principles of Programming Languages