Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations

2017 ◽  
pp. 21-41 ◽  
Author(s):  
Ralf Küsters ◽  
Johannes Müller
Keyword(s):  
Security Analysis ◽  
Voting Systems ◽  
Cryptographic Security

scholarly journals STUDIES ON PRACTICAL CRYPTOGRAPHIC SECURITY ANALYSIS FOR BLOCK CIPHERS WITH RANDOM SUBSTITUTIONS

2020 ◽  
pp. 298-308
Author(s):  
Berik Akhmetov ◽  
Sergiy Gnatyuk ◽  
Vasyl Kinzeryavyy ◽  
Khalicha Yubuzova
Keyword(s):  
Communication Systems ◽  
Security Analysis ◽  
Block Ciphers ◽  
Upper Bounds ◽  
Security Level ◽  
Random Substitutions ◽  
Cryptographic Security ◽  
Random Substitution ◽  
Practical Security ◽  
Security Verification

In up-to-date information and communication systems (ICS) cryptography is used for ensuring data confidentiality. The symmetric block ciphers (BC) are implemented in different ICS including critical applications. Today theory of analysis and security verification of BC with fixed substitution nodes against linear and differential cryptanalysis (LDC) is developed. There are also BC with substitution nodes defined by round keys. Random substitution nodes improve security of ciphers and complicate its cryptanalysis. But through it all, quantitative assessment is an actual and not simple task as well as the derivation of formulas for practical security verification for BC with random substitution nodes against LDC. In this paper analytical upper bounds of parameters characterized practical security of BC with random substitution nodes against LDC were given. These assessments generalize known analogs on BC with random substitution nodes and give a possibility to verify security improving against LDC. By using the example of BC Kalyna-128, it was shown that the use of random substitution nodes allows improving upper bounds of linear and differential parameters average probabilities in 246 and 290 times respectively. The study is novel as it is one of the few in the cryptology field to calculate analytical upper bounds of BC practical security against LDC methods as well as to show and prove that using random substitutions allows improving upper bounds of linear and differential parameters. The security analysis using quantitative parameters gives possibility to evaluate various BCs or other cryptographic algorithms and their ability to provide necessary and sufficient security level in ICS. A future research study can be directed on improving analytical upper bounds for analyzed LDC in context to practical security against LDC, as well as practical cryptographic security assessment for other BC with random substitutions against LDC and other cryptanalysis methods including quantum cryptanalysis (Shor, Grover, Deutsch-Jozsa algorithms).

scholarly journals IMPORTANCE IN SYSTEMS WITH INTERVAL DECISIONS

2018 ◽  
Vol 21 (06n07) ◽  
pp. 1850024 ◽  
Author(s):  
SASCHA KURZ
Keyword(s):  
Security Analysis ◽  
Power Indices ◽  
Entire System ◽  
Voting Systems ◽  
Banzhaf Index ◽  
The Real ◽  
Aggregation Functions

Given a system where the real-valued states of the agents are aggregated by a function to a real-valued state of the entire system, we are interested in the influence or importance of different agents for that function. This generalizes the notion of power indices for binary voting systems to decisions over interval policy spaces and has applications in economics, engineering, security analysis, and other disciplines. Here, we study the question of importance in systems with interval decisions. Based on the classical Shapley–Shubik and Penrose–Banzhaf index, from binary voting, we motivate and analyze two importance measures. Additionally, we present some results for parametric classes of aggregation functions.

FOOD SECURITY ANALYSIS OF STAVROPOL KRAI

2020 ◽  
pp. 85-90
Author(s):  
Yu.M. Sklyarova ◽  
I.Yu. Sklyarov ◽  
E.N. Lapina
Keyword(s):  
Food Security ◽  
Security Analysis ◽  
Stavropol Krai

CONSTITUTIONAL AND LEGAL EXPERIENCE OF INTERACTION OF BICAMERAL PARLIAMENTS OF THE CIS COUNTRIES IN THE SPHERE OF FOOD SECURITY

2020 ◽  
Vol 10 (5) ◽  
pp. 43-49
Author(s):  
MARINA MARKHGEYM ◽  
◽  
ANNA BEZUGLAYA
Keyword(s):  
Food Security ◽  
Security Analysis ◽  
Legal Doctrine ◽  
Commonwealth Of Independent States ◽  
Independent States ◽  
Cis Countries

The article presents the author’s analysis of constitutional texts, regulations and analytical materials of the countries of the Commonwealth of Independent States in order to consolidate in them the consolidated powers of the chambers of parliaments associated with the implementation of food security. Analysis of legal acts of the studied group of states showed that the sphere of food security (as part of the agrarian and food sphere/function) is one of the eventual spheres of interaction between the chambers of parliament. In the course of the study, two approaches of states to the formalization of provisions related to food security in constitutional texts were identified. The first approach is to consolidate norms that indirectly affect the field of food security (Belarus, Kazakhstan, Russia); the second - in the absence of such provisions (Tajikistan and Uzbekistan). It has been established that the interaction of the chambers of parliaments in the field of food security is implemented through the adoption of laws, as well as through various parliamentary events (parliamentary hearings, round tables, seminars, meetings, etc.). It is concluded that the available options for interaction between the chambers of parliaments of states in the field of food security reflect their independent approaches, which are developed on the basis of legal doctrine and practice.

Sign in / Sign up

Export Citation Format

Share Document