Run-time principals in information-flow type systems (2004)

by S Tse, S Zdancewic
Venue:In IEEE Symposium on Security and Privacy