Pub Date : 2019-01-01DOI: 10.33243/2313-7010-26-22-28
A. Onatskiy
We propose a cryptographic protocol with zero-knowledge proof (ZKP) on elliptic curves (EC) using public keys and random messages, allowing to establish the truth of a statement not conveying any additional information about the statement itself. The cryptographic protocols based on zero-knowledge proof allow identification, key exchange and other cryptographic operations to be performed without leakage of sensitive information during the information exchange. The implementation of the cryptographic protocol of the zero-knowledge proof on the basis of the mathematical apparatus of elliptic curves allows to significantly reduce the size of the protocol parameters and increase its cryptographic strength (computational complexity of the breaking). The security of cryptosystems involving elliptic curves is based on the difficulty of solving the elliptic curve discrete logarithm problem. We determine the completeness and correctness of the protocol and give an example of the calculation is given. The cryptographic protocol was modeled in the High-Level Protocol Specification Language, the model validation and verification of the protocol were also performed. The software verification of the cryptographic protocol was performed using the software modules On the Fly Model Checker and Constraint Logic based Attack Searcher. In order to validate the cryptographic protocol resistance to intruder attacks, we used the Security Protocol Animator package for Automated Validation of Internet Security Protocols and Applications. The security of the proposed cryptographic protocol ZKP EC is based on the difficulty of solving the elliptic curve discrete logarithm problem). The recommended elliptical curves according to DSTU 4145-2002 may be used to implement such cryptographic protocol.
我们提出了一种使用公钥和随机消息在椭圆曲线(EC)上具有零知识证明(ZKP)的加密协议，允许在不传递任何关于陈述本身的额外信息的情况下建立陈述的真实性。基于零知识证明的密码协议允许在信息交换过程中不泄露敏感信息的情况下进行身份识别、密钥交换等密码操作。基于椭圆曲线的数学装置实现零知识证明的密码协议，可以显著减小协议参数的大小，提高其密码强度(破解的计算复杂度)。椭圆曲线离散对数问题求解的难易程度决定了椭圆曲线密码系统的安全性。我们确定了协议的完备性和正确性，并给出了计算实例。采用高级协议规范语言对加密协议进行了建模，并对协议进行了模型验证和验证。利用On The Fly模型检查器和基于约束逻辑的攻击搜索器软件模块对加密协议进行了软件验证。为了验证加密协议对入侵者攻击的抵抗力，我们使用了安全协议动画器包来自动验证互联网安全协议和应用程序。所提出的加密协议ZKP - EC的安全性基于求解椭圆曲线离散对数问题的难易程度。根据DSTU 4145-2002推荐的椭圆曲线可以用来实现这种加密协议。
{"title":"CRYPTOGRAPHIC AUTHENTICATION PROTOCOL ZERO-KNOWLEDGE SECRET ON ELLIPTIC CURVES USING PUBLIC KEYS AND RANDOM MESSAGES","authors":"A. Onatskiy","doi":"10.33243/2313-7010-26-22-28","DOIUrl":"https://doi.org/10.33243/2313-7010-26-22-28","url":null,"abstract":"We propose a cryptographic protocol with zero-knowledge proof (ZKP) on elliptic curves (EC) using public keys and random messages, allowing to establish the truth of a statement not conveying any additional information about the statement itself. The cryptographic protocols based on zero-knowledge proof allow identification, key exchange and other cryptographic operations to be performed without leakage of sensitive information during the information exchange. The implementation of the cryptographic protocol of the zero-knowledge proof on the basis of the mathematical apparatus of elliptic curves allows to significantly reduce the size of the protocol parameters and increase its cryptographic strength (computational complexity of the breaking). The security of cryptosystems involving elliptic curves is based on the difficulty of solving the elliptic curve discrete logarithm problem. We determine the completeness and correctness of the protocol and give an example of the calculation is given. The cryptographic protocol was modeled in the High-Level Protocol Specification Language, the model validation and verification of the protocol were also performed. The software verification of the cryptographic protocol was performed using the software modules On the Fly Model Checker and Constraint Logic based Attack Searcher. In order to validate the cryptographic protocol resistance to intruder attacks, we used the Security Protocol Animator package for Automated Validation of Internet Security Protocols and Applications. The security of the proposed cryptographic protocol ZKP EC is based on the difficulty of solving the elliptic curve discrete logarithm problem). The recommended elliptical curves according to DSTU 4145-2002 may be used to implement such cryptographic protocol.","PeriodicalId":13026,"journal":{"name":"Historical research in the context of data science: Information resources, analytical methods and digital technologies","volume":"32 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88453106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.33243/2313-7010-26-61-68
E. Sukachev
The work is devoted to the investigation of inter-cell interference in the radio access network, provided that subscribers are moving in cells along the route indicated earlier. Very often, the trajectory of the movement of mobile stations coincides with the grid of city streets, where subscribers are moving in public transport. For a network where the cluster dimension is K = 1, the proposed methodology for studying changes in the level of intra-system interference at the input of the receiver of a mobile station when a subscriber is moving along the given path. The features of the situation where the control mode of the transmitter power of the base station is used in each cell, which provides a constant power level of the input signal when the subscriber is moving within the cell, are analyzed. The level of inter-cell interference is estimated as one of the factors on which the quality of services depends, namely, the signal-to-interference ratio at the input of the receiver of the mobile station. For specific trajectories of the movement of subscribers in neighboring cells, a law of changing the transmitter power of the base station was found, which interferes with the receiver of the mobile station in the neighboring cell. Estimated ratios are obtained for determining the level of interference when subscribers in neighboring cells are moving along parallel streets. This assessment of the dependence of the signal / interference ratio at the input of the subscriber's receiver on the speed and direction of its movement. This dependence shows that serious problems with the quality of service provided by the operator will not arise. Such an investigation allows modeling the cellular network in order to optimize the work on improving the services provided to mobile subscribers.
{"title":"THE DYNAMICS OF THE INTERFERENCE SITUATION IN THE DOWNLINK DIRECTION OF THE MOBILE COMMUNICATION NETWORK WITH CDMA TECHNOLOGY","authors":"E. Sukachev","doi":"10.33243/2313-7010-26-61-68","DOIUrl":"https://doi.org/10.33243/2313-7010-26-61-68","url":null,"abstract":"The work is devoted to the investigation of inter-cell interference in the radio access network, provided that subscribers are moving in cells along the route indicated earlier. Very often, the trajectory of the movement of mobile stations coincides with the grid of city streets, where subscribers are moving in public transport. For a network where the cluster dimension is K = 1, the proposed methodology for studying changes in the level of intra-system interference at the input of the receiver of a mobile station when a subscriber is moving along the given path. The features of the situation where the control mode of the transmitter power of the base station is used in each cell, which provides a constant power level of the input signal when the subscriber is moving within the cell, are analyzed. The level of inter-cell interference is estimated as one of the factors on which the quality of services depends, namely, the signal-to-interference ratio at the input of the receiver of the mobile station. For specific trajectories of the movement of subscribers in neighboring cells, a law of changing the transmitter power of the base station was found, which interferes with the receiver of the mobile station in the neighboring cell. Estimated ratios are obtained for determining the level of interference when subscribers in neighboring cells are moving along parallel streets. This assessment of the dependence of the signal / interference ratio at the input of the subscriber's receiver on the speed and direction of its movement. This dependence shows that serious problems with the quality of service provided by the operator will not arise. Such an investigation allows modeling the cellular network in order to optimize the work on improving the services provided to mobile subscribers.","PeriodicalId":13026,"journal":{"name":"Historical research in the context of data science: Information resources, analytical methods and digital technologies","volume":"758 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78806967","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.33243/2313-7010-26-29-35
I. Tregubova
Progress in hardware and software development is impressively fast. The main reason of computer graphics fast improvement is a full experience that can be reached though visual representation of our world. Therefore, the most interesting problem of it is a realistic image with high quality and resolution, which often requires procedural graphics generation. The article analyzes simplicity of a fractal and mathematics abstraction. Mathematics describes not only accuracy and logic but also beauty of the Universe. Mountains, clouds, trees, cells do not fit into the world of Euclidean geometry. They cannot be described by its methods. But fractals and fractal geometry solve that problem. Fractals are fairly simple equations on a sheet of paper with bright, unusual images, and, above all, they explain things. Fractal is a figure in the space, which consists of statistical character as the whole. It is self-similar, and therefore looks ‘roughly’ same and does not depend on its scale. So, any complex object can be called a fractal, if it has the same shape, as the parts it consists of. Fractal is abstract, and it helps to translate any algebraic problem into geometric, where solution is always obvious. A lot of researches in the field of fractal graphics has been carried out, but there are still issues that deserve considerable attention and more perfect solutions. The main purpose of the work is codes development with object-oriented programming languages for fractal graphics rendering. The article analyzes simplicity of a fractal and mathematics abstraction. Procedural generation was described as a method of algorithmic data generation for 3D models and textures creation. Code was written with general-purpose programming language Python, which renders step by step creation of fractal composition and variations of fractal images. Fractal generation used for modeling is part of realism in computer graphics In summary, procedural generation is very important for video games, as it can be used to automatically create large amount of game content. The random generation of natural looking landscapes is based on geometric computer generated images Created compositions can be used in computer science for image compression, in medicine for the study of the cellular level of organs, etc.
{"title":"FRACTAL GRAPHICS FOR VIRTUAL ENVIRONMENT GENERATION","authors":"I. Tregubova","doi":"10.33243/2313-7010-26-29-35","DOIUrl":"https://doi.org/10.33243/2313-7010-26-29-35","url":null,"abstract":"Progress in hardware and software development is impressively fast. The main reason of computer graphics fast improvement is a full experience that can be reached though visual representation of our world. Therefore, the most interesting problem of it is a realistic image with high quality and resolution, which often requires procedural graphics generation. The article analyzes simplicity of a fractal and mathematics abstraction. Mathematics describes not only accuracy and logic but also beauty of the Universe. Mountains, clouds, trees, cells do not fit into the world of Euclidean geometry. They cannot be described by its methods. But fractals and fractal geometry solve that problem. Fractals are fairly simple equations on a sheet of paper with bright, unusual images, and, above all, they explain things. Fractal is a figure in the space, which consists of statistical character as the whole. It is self-similar, and therefore looks ‘roughly’ same and does not depend on its scale. So, any complex object can be called a fractal, if it has the same shape, as the parts it consists of. Fractal is abstract, and it helps to translate any algebraic problem into geometric, where solution is always obvious. A lot of researches in the field of fractal graphics has been carried out, but there are still issues that deserve considerable attention and more perfect solutions. The main purpose of the work is codes development with object-oriented programming languages for fractal graphics rendering. The article analyzes simplicity of a fractal and mathematics abstraction. Procedural generation was described as a method of algorithmic data generation for 3D models and textures creation. Code was written with general-purpose programming language Python, which renders step by step creation of fractal composition and variations of fractal images. Fractal generation used for modeling is part of realism in computer graphics In summary, procedural generation is very important for video games, as it can be used to automatically create large amount of game content. The random generation of natural looking landscapes is based on geometric computer generated images Created compositions can be used in computer science for image compression, in medicine for the study of the cellular level of organs, etc.","PeriodicalId":13026,"journal":{"name":"Historical research in the context of data science: Information resources, analytical methods and digital technologies","volume":"40 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77706568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.33243/2313-7010-26-36-46
S. Konovalov
In the proposed article, various methods of constructing an artificial neural network as one of the components of a hybrid expert system for diagnosis were investigated. A review of foreign literature in recent years was conducted, where hybrid expert systems were considered as an integral part of complex technical systems in the field of security. The advantages and disadvantages of artificial neural networks are listed, and the main problems in creating hybrid expert systems for diagnostics are indicated, proving the relevance of further development of artificial neural networks for hybrid expert systems. The approaches to the analysis of natural language sentences, which are used for the work of hybrid expert systems with artificial neural networks, are considered. A bulletin board is shown, its structure and principle of operation are described. The structure of the bulletin board is divided into levels and sublevels. At sublevels, a confidence factor is applied. The dependence of the values of the confidence factor on the fulfillment of a particular condition is shown. The links between the levels and sublevels of the bulletin board are also described. As an artificial neural network architecture, the «key-threshold» model is used, the rule of neuron operation is shown. In addition, an artificial neural network has the property of training, based on the application of the penalty property, which is able to calculate depending on the accident situation. The behavior of a complex technical system, as well as its faulty states, are modeled using a model that describes the structure and behavior of a given system. To optimize the data of a complex technical system, an evolutionary algorithm is used to minimize the objective function. Solutions to the optimization problem consist of Pareto solution vectors. Optimization and training tasks are solved by using the Hopfield network. In general, a hybrid expert system is described using semantic networks, which consist of vertices and edges. The reference model of a complex technical system is stored in the knowledge base and updated during the acquisition of new knowledge. In an emergency, or about its premise, with the help of neural networks, a search is made for the cause and the control action necessary to eliminate the accident. The considered approaches, interacting with each other, can improve the operation of diagnostic artificial neural networks in the case of emergency management, showing more accurate data in a short time. In addition, the use of such a network for analyzing the state of health, as well as forecasting based on diagnostic data using the example of a complex technical system, is presented.
{"title":"FEATURES OF DIAGNOSTIC ARTIFICIAL NEURAL NETWORKS FOR HYBRID EXPERT SYSTEMS","authors":"S. Konovalov","doi":"10.33243/2313-7010-26-36-46","DOIUrl":"https://doi.org/10.33243/2313-7010-26-36-46","url":null,"abstract":"In the proposed article, various methods of constructing an artificial neural network as one of the components of a hybrid expert system for diagnosis were investigated. A review of foreign literature in recent years was conducted, where hybrid expert systems were considered as an integral part of complex technical systems in the field of security. The advantages and disadvantages of artificial neural networks are listed, and the main problems in creating hybrid expert systems for diagnostics are indicated, proving the relevance of further development of artificial neural networks for hybrid expert systems. The approaches to the analysis of natural language sentences, which are used for the work of hybrid expert systems with artificial neural networks, are considered. A bulletin board is shown, its structure and principle of operation are described. The structure of the bulletin board is divided into levels and sublevels. At sublevels, a confidence factor is applied. The dependence of the values of the confidence factor on the fulfillment of a particular condition is shown. The links between the levels and sublevels of the bulletin board are also described. As an artificial neural network architecture, the «key-threshold» model is used, the rule of neuron operation is shown. In addition, an artificial neural network has the property of training, based on the application of the penalty property, which is able to calculate depending on the accident situation. The behavior of a complex technical system, as well as its faulty states, are modeled using a model that describes the structure and behavior of a given system. To optimize the data of a complex technical system, an evolutionary algorithm is used to minimize the objective function. Solutions to the optimization problem consist of Pareto solution vectors. Optimization and training tasks are solved by using the Hopfield network. In general, a hybrid expert system is described using semantic networks, which consist of vertices and edges. The reference model of a complex technical system is stored in the knowledge base and updated during the acquisition of new knowledge. In an emergency, or about its premise, with the help of neural networks, a search is made for the cause and the control action necessary to eliminate the accident. The considered approaches, interacting with each other, can improve the operation of diagnostic artificial neural networks in the case of emergency management, showing more accurate data in a short time. In addition, the use of such a network for analyzing the state of health, as well as forecasting based on diagnostic data using the example of a complex technical system, is presented.","PeriodicalId":13026,"journal":{"name":"Historical research in the context of data science: Information resources, analytical methods and digital technologies","volume":"2 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82954842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：