FEATURES OF THE SMT-PROTOCOL IMPLEMENTATION BASED ON PYTHON 3
Vladimir State University, Department of Informatics and Information Security ; Student
A. V. Aleksandrov
Vladimir State University, Department of Informatics and Information Security;
Read the full article
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.
