Abstract Certification of Global Non-interference in Rewriting Logic | Publicación