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

5
Issue
vol 60 / MAY, 2017
Article
UDC 519.6

FEATURES OF THE SMT-PROTOCOL IMPLEMENTATION BASED ON PYTHON 3

M. V. Belousov
Vladimir State University, Department of Informatics and Information Security ; Student


A. V. Aleksandrov
Vladimir State University, Department of Informatics and Information Security;


Abstract.   Implementation of the SMT-protocol on the base of Shamir secret sharing scheme is described. Several characteristics of the protocol, such as algorithmic complexity, speed, and safety are studied.
Keywords: SMT-protocol, secret division diagram, Dolev—Yao model.