This article is cited in 5 papers

Mathematical Methods of Cryptography

Cryptographic protocols

A. V. Cheremushkin

Institute of Cryptography, Communications and Informatics, Moscow, Russia

Abstract: The lecture discusses the main properties and vulnerabilities of cryptographic protocols. Some well known examples of attacks on cryptographic protocols are considered. The second part of the lecture contains an overview of modern protocol verification tools.

UDC: 003.26(075.8)