Policy-Directed Code Safety
David Evans
http://naccio.lcs.mit.edu
evs@sds.lcs.mit.edu
April 1999
Software Devices and Systems
MIT Lab for Computer Science