Using Type Enforcement to Assure a Configurable Guard. - P. Greve; J. Hoffman; R. E. Smith (ACSAC, 1997)