Abstraction-Carrying Code: a Model for Mobile Code Safety | Publicación