A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA | Publicación