Secure information flow by self-composition | Publicación