@misc{Millen_Jonathan_K._CAPSL, author={Millen, Jonathan K. and Denker, Grit}, howpublished={online}, publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa}, language={ang}, title={CAPSL and MuCAPSL, Journal of Telecommunications and Information Technology, 2002, nr 4}, type={artykuł}, keywords={multicast, secure group communication, MuCAPSL, cryptographic protocol specification, cryptographic protocol analysis, CAPSL}, }