Journal
Scientific and technical journal «Priborostroenie»
UDK519.6
Issue:8 (55)
Download PDF362 Kbyte
STABILITY OF SMT-PROTOCOL TOWARDS ENEMY ATTACK IN DOLEV—YAO SAFETY MODEL
Annotation
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
Постоянный 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
- FEATURES OF THE SMT-PROTOCOL IMPLEMENTATION BASED ON PYTHON 3