Complete, safe information flow with decentralized labels (1998)

by A Myers, B Liskov
Venue:In Proceedings of the IEEE Symposium on Security & Privacy