@misc{Boreale_Michele_Process,
 author={Boreale, Michele and Gorla, Daniele},
 howpublished={online},
 publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa},
 language={ang},
 title={Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4},
 type={artykuł},
 keywords={cryptographic protocols, observational equivalence, Dolev-Yao model, spi calculus, process calculi},
}