1 paper · 1 filter
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code can be blamed for any information-flow atta…