Electronic voting systems: Requirements, design, and implementation

Qadah, Ghassan Z.; Taha, Rani

doi:10.1016/j.csi.2006.06.001

Cited by 67 publications

(37 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Digər arzu olunan tələblər kimi rahatlıq, şəffaflıq, qiymətləndirilə bilmə və iqtisadi cəhətdən səmərəli olması göstərilir. Elmi ədəbiyyatda e-səsvermə sisteminin təhlükəsiliyinin təmin olunmasına dair müxtəlif yanaşmalar olsa da göstərilən tələblərin əksəriyyəti tədqiqatçılar tərəfindən birmənalı qəbul edilir [1,[13][14][15][16][17] Buna baxmayaraq, bəzi tələblər arasında mübahisə doğuran münaqişə vəziyyətləri vardır. Məsələn, autentifikasiya və konfidensiallıq arasında konflikt yaradan məqam seçicinin səsvermədə iştirak hüququnun olub olmamasının yoxlanması tələbi ilə yanaşı, eyni zamanda seçicinin səsinin konfidensiallığının təmin edilməsi tələbinin olmasıdır.…”

Section: E-səsvermə Sistemindəki Boşluqlarunclassified

Elektron səsvermə sistemlərində təhlükəsizlik təhdidlərinin qiymətləndirilməsi

Yusifov¹

2017

İnformasiya Təhlükəsizliyinin Aktual Problemləri III Respublika Elmi-Praktiki Seminarının Materialları

View full text Add to dashboard Cite

Xülasə-E-səsvermə e-demokratiyanın ən mühüm komponentlərindən biri hesab edilir. E-səsvermə sistemlərinin tətbiqində və inkişaf etdirilməsində təhlükəsizlik məsələləri həlledici rola malikdir. Məqalədə e-səsvermə sisteminə dair yanaşmalar və sistemin təhlükəsizliyinə olan təhdidlər araşdırılır. Çoxmeyarlı qərar qəbul etmə modeli əsasında e-səsvermə sisteminin təhlükəsizliyinə olan təhdidlərin empirik qiymətləndirilməsi məsələsinə baxılır.Açar sözlər -e-səsvermə; İnternet səsvermə; e-demokratiya; təhlükəsizlik, təhlükəsizlik təhdidləri. I. GİRİŞElektron səsvermə (e-səsvermə) sistemi səsvermənin gizliliyi, fərdi məlumatların qorunması və şəffaflığın təmin olunması baxımından e-demokratiyanın ən mühüm tətbiqlərindən biridir [1,2]. E-səsvermə edemokratiyanın ən vacib komponentlərindən biri olmaqla özündə seçkilərdə iştirak mexanizmləri, təhlükəsizliyin və leqitimliyin təmin olunması, e-səsvermə üçün texnoloji həllər və onların e-səsvermədə səmərəli tətbiqi kimi maraqlı tədqiqat mövzularını əhatə edir. Kompleks yanaşmada e-səsvermə eseçkilərin ən əhəmiyyətli tərkib hissəsi hesab olunur.Elmi mənbələrdə İKT-nin tətbiqi ilə səsvermə formalarına dair müxtəlif yanaşmalar vardır və istifadə olunan terminlərin unifikasiyasına ehtiyac duyulur. Əsasən onlayn olaraq keçirilən səsverməni ifadə etmək üçün 2 termindən, esəsvermə və İnternet səsvermə terminlərindən istifadə olunur [2][3][4]. E-səsvermə termini daha geniş mənada istifadə olunsa da, İnternet səsvermə onun formalarından yalnız biri kimi göstərilir.İnformasiya texnologiyalarının sürətli inkişafı və kriptoqrafiya üsüllarının təkmilləşdirilməsi hesabına esəsvermə artıq hökümətlər tərəfindən tətbiq olunmağa başlamışdır. Bununla belə, demokratik prinsiplər nəzərə alınaraq e-səsvermənin keçirilmə prosedurları və onun təhlükəsizliyənə dair məsələlər hələ də müzakirə olunmaqdadır. Siyasi arenada səsvermə prosesində şəffaflığın təmin olunması, səslərin demokratik prinsiplərə uyğun hesablanması, namizədlərin və seçicilərin konstitusyon hüquqlarının qorunması ən mühüm məsələlər kimi ön plana çıxır. E-səsvermə sisteminin tətbiqi ölkələrdə mövcud siyasi proseslərə təsir gücünə malikdir və kritik təhlükəsizlik sistemlərinə aid edilir [5]. Bu baxımdan, vətəndaşların demokratik proseslərdə yaxından iştirakının və şəffaflığın təmin olunması üçün e-səsvermənin təhlükəsizliyinə olan təhdidlərin müəyyənləşdirilməsi və qiymətləndirilməsi aktual məsələlərdən biri hesab olunur. Tədqiqat işində e-səsvermə sistemindəki boşluqlar araşdırılır və sistemin təhlükəsizliyinə olan təhdidlərin qiymətləndirilməsi məsələsinə baxılır.II. E-DEMOKRATİYA ÜÇÜN E-SƏSVERMƏ E-dövlətin inkişafının son mərhələsi hesab olunan edemokratiyanın formalaşdırılmasının əsası kimi e-səsvermə, ictimai forumlar, açıq dövlət, ictimai rəyin analizi və əks əlaqə mexanizmlərinin işlənilməsi göstərilir [6]. E-demokratiya, xüsusən də e-səsvermə təcrübədə və ədəbiyyatda geniş müzakirələrə səbəb olmuşdur [4][5][6][7]. Əsas müzakirə mövzuları kimi e-səsvermənin təhlükəsizlik problemləri və sosial-siyasi proseslərə təsiri ön plana ...

show abstract

Section: E-səsvermə Sistemindəki Boşluqlarunclassified

Elektron səsvermə sistemlərində təhlükəsizlik təhdidlərinin qiymətləndirilməsi

Yusifov¹

2017

İnformasiya Təhlükəsizliyinin Aktual Problemləri III Respublika Elmi-Praktiki Seminarının Materialları

View full text Add to dashboard Cite

show abstract

“…Qadah and Taha propose an alternative remote e-voting architecture and illustrate how mobile devices can be used as voting client machines [27]. However, they do note that their implementation -using public wireless networksis not suitable for secure elections: ".…”

Section: Two Years Later In 2006 Another Article -E-voting In Estonmentioning

confidence: 99%

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements

Gibson¹,

Lallet²,

Raffy³

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has illustrated the importance of formal software engineering in the development of complex systems: poorly engineered and poorly documented voting systems have had serious negative consequences for all system stakeholders. It is clear that the formal verification of e-voting system models would help to address problems associated with certification against standards, and would improve the trustworthiness of the final systems. However, it is not yet clear how best to carry out such formal modelling and verification in order to leverage the compositional nature of the problem, and manage the complexity of the task.The choice of modelling language -for expressing the high level design and architecture of an e-voting system -poses many problems due to the complex mix of requirements that such a system is required to meet. Different modelling languages are more-or-less suited to the verification of different critical requirements. Thus, we report on a mixed model approach: where we address 3 different types of critical requirements using 3 different modelling languages and development strategies. Firstly, we report on network quality-of-service issues that are analyzed through simulation models. Secondly, we report on functional correctness of a counting process that can be validated through algebraic techniques. Finally, we report on the use of formal refinement to reason about the correctness of design steps when adding detail to an architecture model. To conclude, we acknowledge the main problem that arises from such a mixed-model approach to architecture verification: how can we be sure that the different models are coherent when we integrate them in a final implementation?

show abstract

“…Other desired requirements include comfort, transparency, measurable and economic feasibility. Although there are various approaches to e-voting security in scientific literature, most of above requirements are unambiguously accepted by researchers [1,[13][14][15][16][17].…”

Section: The Gaps In E-voting Systemmentioning

confidence: 99%

Ranking of the Electronic Voting System Security Threats on the Basis of Multi-Criteria Evaluation Method

Yusifov¹

2018

JPIS

View full text Add to dashboard Cite

Electronic voting systems: Requirements, design, and implementation

Cited by 67 publications

References 3 publications

Elektron səsvermə sistemlərində təhlükəsizlik təhdidlərinin qiymətləndirilməsi

Elektron səsvermə sistemlərində təhlükəsizlik təhdidlərinin qiymətləndirilməsi

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements

Ranking of the Electronic Voting System Security Threats on the Basis of Multi-Criteria Evaluation Method

Contact Info

Product

Resources

About