Non-standard Attacks against Cryptographic Protocols, with an Example over a Simplified Mutual Authentication Protocol | Publicación