Complete, Safe Information Flow with Decentralized Labels (1998)

by Andrew C. Myers , Barbara Liskov
Citations:75 - 8 self