STABILITY OF SMT-PROTOCOL TOWARDS ENEMY ATTACK IN DOLEV—YAO SAFETY MODEL
Vladimir State University, Department of Informatics and Information Security;
Read the full article
Abstract. Confidentiality properties of Secure Message Transmission (SMT) protocols with shared memory are determined. The confidentiality is understood as stability of the transmission protocol towards active and passive enemy attacks in a generalized communication channel described by the Dolev—Yao model.
Keywords:
cryptographic protocols, privacy, secret sharing schemes, Dolev—Yao security model.
