Complete, safe information flow with decentralized labels (1998)

by A C Myers, B Liskov
Venue:InProceedings of the 1998 IEEE Symposium on Security and Privacy