Reverse analysis of secure communication protocol based on taint analysis | Publicación