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

8
Issue
vol 60 / AUGUST, 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;


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.