PTÁČEK, M. Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
eVSKP id 15203