ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

3
Issue
vol 60 / MARCH, 2017
Article
UDC 519.6

STABILITY OF SMT-PROTOCOL TOWARDS ENEMY ATTACK IN DOLEV—YAO SAFETY MODEL

A. V. Aleksandrov
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.