Verifying the eros confinement mechanism (2000)

by J S Shapiro, S Weber
Venue:In IEEE Symposium on Security & Privacy