@misc{Monniaux_David_Analysis,
 author={Monniaux, David},
 howpublished={online},
 publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa},
 language={ang},
 title={Analysis of cryptographic protocols using logics of belief: an overview, Journal of Telecommunications and Information Technology, 2002, nr 4},
 type={artykuł},
 keywords={cryptographic protocols, decidability, BAN, logics of belief, GNY},
}