Journal
Scientific and technical journal «Priborostroenie»
UDK519.6
Issue:8 (55)
Download PDF381 Kbyte
FEATURES OF THE SMT-PROTOCOL IMPLEMENTATION BASED ON PYTHON 3
Annotation
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
Постоянный URL
Articles in current issue
- RESEARCH INTO POSSIBILITIES OF DIGITAL RADIO STATION CREATION ON THE BASIS OF COHERENT RECEPTION OF GMSK-SIGNALS
- METHODS OF EVALUATION OF THE COMMUNICATION LINK QUALITY. WCDMA TECHNOLOGY
- DESIGN OF WIRELESS SENSOR NETWORKS
- METHODOLOGY OF TEST-ORIENTED DESIGN OF MIXED-SIGNAL CIRCUITS
- A DISTRIBUTED MECHANISM OF OVERLOADS MANAGEMENT IN DATA COMMUNICATION NETWORKS
- ON ORGANIZATION OF DISTRIBUTED INFORMATION ENVIRONMENT FOR INTEGRATED PROTECTION AND SAFETY SYSTEMS
- ANALYSIS OF WIRELESS CHANNELS QUALITY IN DISTRIBUTED TELECOMMUNICATION DATA TRANSFER ENVIRONMENT IN DENSELY BUILT-UP CITY AREA
- INVENTORY OF INFORMATION RESOURCES AS A BASIS FOR SAFE OPERATION OF AUTOMATIC CONTROL SYSTEM
- A MODEL FOR ASSESSMENT OF FACTORS OF INFORMATION RELIABILITY CHANGE IN CORPORATE DATA COMMUNICATION NETWORKS
- A TOOLSET FOR PROVIDING INFORMATION AUTHENTICITY IN CORPORATE NETWORKS SUPPORTING DATA COMMUNICATION IN AUTOMATIC CONTROL SYSTEMS
- ON AUTOMATION OF PROCESSES PROVIDING FUNCTIONAL STABILITY OF INFORMATION ECHNOLOGICAL INFRASTRUCTURE OF AN ENTERPRISE RESOURCE PLANNING SYSTEM
- SYSTEM OF ADMINISTRATION OF CORPORATE DATA TRANSMISSION NETWORK SERVING AN AUTOMATIC CONTROL SYSTEM OF INDUSTRIAL ENTERPRISE
- INCREASE IN PRODUCTIVITY OF CORPORATE NETWORKS SUBJECTED TO INFORMATION SECURITY THREAT
- EXPERIMENTAL STUDY OF CORPORATE TELECOMMUNICATION NETWORK WITH ADAPTIVE INFORMATION SECURITY SYSTEM
- STABILITY OF SMT-PROTOCOL TOWARDS ENEMY ATTACK IN DOLEV—YAO SAFETY MODEL