Nexus: a new operating system for trustworthy computing (2005)

by A Shieh, D Williams, E G Sirer, F B Schneider
Venue:In SOSP ’05: Proceedings of the twentieth ACM symposium on Operating systems principles