Biblioteka Cyfrowa

Comon, Hubert; Shmatikov, Vitaly, Is it possible to decide whether a cryptographic protocol is secure or not?, Journal of Telecommunications and Information Technology, 2002, nr 4