Domain separation by construction (2003)

by W Harrison, M Tullsen, J Hook
Venue:In Foundations of Computer Security Workshop(FCS’03