HRANÁČ, J. Metody návrhu bezpečnostních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010.
eVSKP id 34584