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

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