STABILITY OF SMT-PROTOCOL TOWARDS ENEMY ATTACK IN DOLEV—YAO SAFETY MODEL
Vladimir State University, Department of Informatics and Information Security;
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.