@misc{Shmatikov_Vitaly_Is,
 author={Shmatikov, Vitaly and Comon, Hubert},
 howpublished={online},
 publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa},
 language={ang},
 title={Is it possible to decide whether a cryptographic protocol is secure or not?, Journal of Telecommunications and Information Technology, 2002, nr 4},
 type={artykuł},
 keywords={security, cryptographic protocols, decision procedures, logic},
}