המערכת שלנו מבטיחה: 1) כל בוחר/ת יכול/ה לוודא שהצבעתו/ה נרשמה כהלכה בדף מעקב ההצבעות. 2) כל ההצבעות שמופיעות בדף המעקב משויכות לבוחר/ת. 3) כל אחד יכול לוודא שתוצאות הבחירות עקביות עם תוכן דף מעקב ההצבעות.
מערכת הצבעה בעלת שלוש התכונות הללו נקראת ניתנת לאימות מקצה לקצה. במערכת כזו אף אחד, אפילו לא מנהלי מערכת ההצבעה, אינו יכול לשנות הצבעה מבלי שהדבר יתגלה.
1. כל בוחר/ת יכול/ה לוודא שהצבעתו/ה נרשמה כהלכה.
הפתק מורכב משני חלקים: חלק טקסט גלוי והצפנה אלקטרונית. הבוחר/ת יכול/ה לוודא שהטקסט הגלוי תואם את בחירתו/ה. ביקורות אקראיות מבטיחות שההצפנה תואמת את הטקסט הגלוי.
2. כל ההצבעות בדף המעקב משויכות לבוחר/ת.
כאן אנו סומכים על חברי ועדת הקלפי שיזהו כל בוחר/ת ויאפשרו להצביע פעם אחת בלבד.
3. כל אחד יכול לוודא שתוצאות הבחירות עקביות.
בתהליך הספירה, ההצבעות האלקטרוניות מעורבבות ומפוענחות. כל אחד יכול לאמת את תקינות שלבי הערבוב והפענוח על ידי בדיקת ההוכחות הנלוות.
אימות מקצה לקצה
המערכת שלנו מבטיחה:
1) כל בוחר/ת יכול/ה לוודא שהצבעתו/ה נרשמה כהלכה בדף מעקב ההצבעות.
2) כל ההצבעות שמופיעות בדף המעקב משויכות לבוחר/ת.
3) כל אחד יכול לוודא שתוצאות הבחירות עקביות עם תוכן דף מעקב ההצבעות.
מערכת הצבעה בעלת שלוש התכונות הללו נקראת ניתנת לאימות מקצה לקצה. במערכת כזו אף אחד, אפילו לא מנהלי מערכת ההצבעה, אינו יכול לשנות הצבעה מבלי שהדבר יתגלה.
1. כל בוחר/ת יכול/ה לוודא שהצבעתו/ה נרשמה כהלכה.
הפתק מורכב משני חלקים: חלק טקסט גלוי והצפנה אלקטרונית. הבוחר/ת יכול/ה לוודא שהטקסט הגלוי תואם את בחירתו/ה. ביקורות אקראיות מבטיחות שההצפנה תואמת את הטקסט הגלוי.
2. כל ההצבעות בדף המעקב משויכות לבוחר/ת.
כאן אנו סומכים על חברי ועדת הקלפי שיזהו כל בוחר/ת ויאפשרו להצביע פעם אחת בלבד.
3. כל אחד יכול לוודא שתוצאות הבחירות עקביות.
בתהליך הספירה, ההצבעות האלקטרוניות מעורבבות ומפוענחות. כל אחד יכול לאמת את תקינות שלבי הערבוב והפענוח על ידי בדיקת ההוכחות הנלוות.