Models for security policies in proof-carrying code (2001)

by A W APPEL, E W FELTEN