Flexible policy-directed code safety (1999)

by David Evans, Andrew Twyman
Venue:In IEEE Security and Privacy