Cryptographic protocols. Basic properties and vulnerabilities A manual for students of institutions of higher education - (higher professional education and information security) / Kriptograficheskie protokoly. Osnovnye svoystva i uyazvimosti Uchebnoe posobie dlya studentov uchrezhdeniy vysshego professionalnogo obrazovaniya - ("Vysshee professionalnoe obrazovanie-Informatsionnaya bezopasnost")