Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries

Author(s):  
Liudmila Babenko ◽  
Ilya Pisarev
2020 ◽  
pp. 19-29
Author(s):  
Liudmila Babenko ◽  
◽  
Ilya Pisarev ◽  

Purpose of the article: development of an algorithm for dynamic analysis of the source codes of cryptographic protocols using the PDA language for the possibility of using your own attack models. Method: a source code generation method was used to simulate the attacker’s side when transmitting messages between legal parties according to the Dolev-Yao model. The method of false termination is also used, which is used in dynamic analysis and allows detecting attacks during simulation. Results: this paper presents the PDA language for dynamic analysis of the source codes of cryptographic protocols. An approach to dynamic analysis based on the principle of false termination is described. The process of modeling an active attack by an intruder is presented. The elements of the PDA language are described and an example of the description of the test protocol in this language is given. A test protocol in the C# programming language has been implemented. The effectiveness of the dynamic analysis was tested by simulating a replay attack. The security verification of the test cryptographic protocol was carried out using the well-known verification tools Scyther and Avispa. The comparison of the main indicators of the known means and the dynamic protocol analyzer proposed by the authors is carried out. The main advantages of the approach proposed by the authors are presented. The further direction of work is described.


2015 ◽  
Vol 10 (7) ◽  
pp. 2283-2292
Author(s):  
BEN BEKLISI KWAME AYAWLI ◽  
BEN BEKLISI KWAME AYAWLI ◽  
KWOFIE KOJO SAMUEL ◽  
STEPHEN KOFI DOTSE

This study investigated the factors leading to e-voting adoption successes and failures. Secondary data on e-voting adoption across the world was used in this study.Results indicate that concerns about accuracy, lack of trust, lack of secrecy of votes, lack of verifiability, secrecy of source codes and lack of support from political parties are among the factors leading to failure in e-voting adoption and it vary from country to country.The findings of this study can help in the determination of the necessary factors for the successful and sustainable adoption of e-voting system.


2019 ◽  
Vol 16 (1) ◽  
pp. 28-41
Author(s):  
Charles Upchurch

A number of proposals have been put forward in recent years by historians in both the British and American academies for increasing the audience for academic history. In part this is due to the significant reduction in support for history programmes in both countries since the 2008 financial crisis. Absent from those proposals, however, is a call to use the popular interest generated by programmes such as Downton Abbey to foster an appreciation for academic history outside the university. Drawing on theories of fan culture developed within media and cultural studies, this article argues for the compatibility of academic history and communities created by fans. It discusses my experience of using Downton Abbey to lecture on the pre-First World War British voting system, utilising the biographies of the show's characters to demonstrate the ways in which British voting was far more restricted in practice than it seemed. The article argues that even those committed to the most traditional forms of academic history can take advantage of opportunities presented by shows like Downton Abbey. It then explores the connections between this method of public engagement and Judith Butler's arguments in Undoing Gender, which examine how conditions for recognition and communication across ideological and cultural divisions can be created.


2018 ◽  
Vol 42 ◽  
pp. 266-273
Author(s):  
Ivan S. Palitai

The article is devoted to the modern Russian party system. In the first part of the article, the author shows the historical features of the parties formation in Russia and analyzes the reasons for the low turnout in the elections to the State Duma in 2016. According to the author the institutional reasons consist in the fact that the majority of modern political parties show less and less ability to produce new ideas, and the search for meanings is conducted on the basis of the existing, previously proposed sets of options. Parties reduce the topic of self-identification in party rhetoric, narrowing it down to “branded” ideas or focusing on the image of the leader. In addition, the author shows the decrease in the overall political activity of citizens after the 2011 elections, and points out that the legislation amendments led to the reduction of the election campaigns duration and changes in the voting system itself. The second part of the article is devoted to the study of the psychological aspects of the party system. The author presents the results of the investigation of images of the parties as well as the results of the population opinion polls, held by the centers of public opinion study. On the basis of this data, the author concludes that according to the public opinion the modern party system is ineffective, and the parties don’t have real political weight, which leads to the decrease of the interest in their activities and confidence in them. The author supposes that all this may be the consequence of the people’s fatigue from the same persons in politics, but at the same time the electorate’s desire to see new participants in political processes is formulated rather vaguely, since, according to the people, this might not bring any positive changes.


2011 ◽  
Vol 4 (3) ◽  
pp. 38-42
Author(s):  
K. Gopal ◽  
◽  
S. Praveen ◽  
N. Suthanthira Vanitha ◽  
◽  
...  

Author(s):  
Khaulah Afifah ◽  
Lala M Kolopaking ◽  
Zessy Ardinal Barlan

Head of a village election with e-voting system is a new thing for community The success level of e-voting system can be reached by fulfil several principles in order to the implementation going effective and the result of the election can be accepted by all. The objectives of this research is to analyze the relation between the success level of e-voting system with social capital of the community. This research is carried out with the quantitative approach and supported by qualitative data. This research takes 60 respondents using simple random sampling technique. The results showed that the success level of e-voting has a correlation with the level of social capital of the community. Based on the field study, the social capital of the community is classified as high. The high social capital makes the implementation of e-voting successful and the success level is also high, because in the election ten years ago occurred a conflict. The community considers e-voting easier and more practical, cost effective and time-saving, and the results of e-voting are also reliable. A practical and fast of e-voting system can be a solution especially for “rural-urban” community who are busy or work outside the village.Keywords: E-voting, the success level of the system, social capital Pemilihan kepala desa dengan sistem e-voting merupakan hal yang baru bagi masyarakat. Keberhasilan penerapan sistem e-voting dilihat dari terpenuhinya beberapa prinsip agar penerapannya berlangsung efektif dan hasilnya dapat diterima oleh seluruh masyarakat. Penelitian ini bertujuan untuk menganalisis hubungan tingkat keberhasilan sistem e-voting dalam pemilihan kepala desa dengan tingkat modal sosial masyarakat. Bentuk penelitian ini adalah penelitian kuantitatif yang didukung oleh analisis data kualitatif. Penelitian ini mengambil enam puluh responden dengan teknik simple random sampling. Hasil penelitian menunjukkan bahwa tingkat keberhasilan e-voting memiliki hubungan dengan tingkat modal sosial masyarakat. Berdasarkan kajian di lapang, modal sosial masyarakat tergolong tinggi. Tingginya modal sosial tersebut membuat pelaksanaan e-voting berhasil dan tingkat keberhasilannya juga tergolong tinggi karena pada pemilihan sepuluh tahun silam sempat terjadi konflik. Masyarakat menganggap sistem evoting lebih mudah dan praktis, hemat dalam segi biaya dan waktu, serta hasil dari pemilihan juga dapat dipertanggungjawabkan. Sistem e-voting yang praktis dan cepat dapat menjadi solusi khususnya bagi masyarakat daerah “desa-kota” yang memiliki kesibukan atau pekerjaan di luar desa.Kata Kunci: E-voting, keberhasilan sistem, modal sosial. 


Sign in / Sign up

Export Citation Format

Share Document