ΠΝΥΚΑ Π Ν Υ Κ Α Έρευνα & ανάΠτυξη συστημάτων ηλεκτροΝικής ψηφοφορίας βασισμένων σε τΥπικές μεθόδους σχεδίασης και διαχείρισης Κινδύνων με εστίΑση στην.

Παρουσίαση με θέμα: "ΠΝΥΚΑ Π Ν Υ Κ Α Έρευνα & ανάΠτυξη συστημάτων ηλεκτροΝικής ψηφοφορίας βασισμένων σε τΥπικές μεθόδους σχεδίασης και διαχείρισης Κινδύνων με εστίΑση στην."— Μεταγράφημα παρουσίασης:

1 ΠΝΥΚΑ Π Ν Υ Κ Α Έρευνα & ανάΠτυξη συστημάτων ηλεκτροΝικής ψηφοφορίας βασισμένων σε τΥπικές μεθόδους σχεδίασης και διαχείρισης Κινδύνων με εστίΑση στην προσέλκυση της εμπιστοσύνης του πολίτη ΓΓΕΤ, ΕΠ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ, Μέτρο 3.4 Πρόγραμμα «Κοινοπραξίες Έρευνας & Τεχνολογικής Ανάπτυξης» Φορείς Σύμπραξης: ΕΑ ΙΤΥ - Εxpertnet AE. Yπεργολάβοι (ΕΑ ΙΤΥ): ΤΕΕ / Τμήμα Δ. Ελλάδας Προϋπολογισμός: ,00 Ευρώ Διάρκεια: 23 μήνες Επιστ. Υπεύθυνος: Π. Σπυράκης ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

2 ΠΕΡΙΕΧΟΜΕΝΑ 4. Επίδειξη Σύνοψη 2. Γενικά στοιχεία έργου
ΠΝΥΚΑ ΠΕΡΙΕΧΟΜΕΝΑ Σύνοψη 2. Γενικά στοιχεία έργου - Ενότητες Εργασιών - Παραδοτέα - Χρονοδιάγραμμα 3. Αποτελέσματα των βασικών φάσεων υλοποίησης - State-of-the-art - Επιλεγμένο πρωτόκολλο ψηφοφορίας - Σχεδιασμός συστήματος - Αποτίμηση κινδύνων - Ανάπτυξη – δοκιμαστική λειτουργία - Εκτίμηση απόδοσης - Δράσεις δημοσιότητας 4. Επίδειξη - Διαδικασία πιστοποίησης - Client ψηφοφόρου - Bulleting Board - Προσομοίωση μοντέλου ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

3 ΠΝΥΚΑ ΜΕΡΟΣ Α: ΣΥΝΟΨΗ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

4 ΠΝΥΚΑ Αντικείμενο του Έργου Έρευνα στη σχεδίαση και υλοποίηση ενός συστήματος απομακρυσμένης ηλεκτρονικής ψηφοφορίας (eVoting), μέσω της διερεύνησης νομικών, οργανωτικών και τεχνολογικών παραμέτρων καθώς και της εφαρμογής τυπικών μεθόδων για τη διαχείρισή τους τόσο σε θεωρητικό (σχεδίαση) όσο και σε πρακτικό επίπεδο (υλοποίηση) Λέξεις – κλειδιά: Κρυπτογραφικά Πρωτόκολλα, Τυπικές Μέθοδοι Σχεδίασης, Αρχιτεκτονικές Εμπιστοσύνης, Ανάλυση και Διαχείριση Κινδύνων, Ασφαλείς Δικτυακές Τεχνολογίες, Υποδομή Δημοσίου Κλειδιού, Μοντελοποίηση Εκτίμησης Απόδοσης, Προσομοίωση διακριτών γεγονότων ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

5 ΠΝΥΚΑ Τελικό Παραδοτέο Πρωτότυπο συστήματος υποστήριξης ηλεκτρονικών ψηφοφοριών 2 εκδόσεις - ΒΑΣΙΚΟ σύστημα που θα μπορεί να υποστηρίξει σφυγμομετρήσεις και διαδικασίες εκλογών περιορισμένης κλίμακας - ΠΛΗΡΕΣ σύστημα που θα μπορεί να υποστηρίξει εκλογές και δημοψηφίσματα εθνικής εμβέλειας Το πλήρες πρωτότυπο θα διαφέρει από το βασικό κυρίως ως προς την εφαρμογή ισχυρότερων πρωτοκόλλων ασφάλειας, την ενσωμάτωση αυστηρών διαδικασιών logging/auditing καθώς και της ταυτοποίησης των ψηφοφόρων με χρήση υποδομής δημοσίου κλειδιού. ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

6 Προσέγγιση υλοποίησης
ΠΝΥΚΑ Προσέγγιση υλοποίησης Θεωρητικό πλαίσιο μελέτης κρυπτογραφικών σχημάτων - Mix-nets - Ομομορφικές συναρτήσεις Iσχυρό κρυπτογραφικό πρωτόκολλο, κατάλληλο για μεγάλης κλίμακας εκλογές - Ομομορφική κρυπτο/αποκρυπτογράφηση - Διαμοίραση κλειδιού σε μη έμπιστες αρχές ελέγχου & threshold cryptography Layered σχεδίαση που ενσωματώνει τεχνογνωσία που έχει αναπτυχθεί από τους φορείς της Κοινοπραξίας - Aρχιτεκτονική εμπιστοσύνης - CORAS Framework για ανάλυση κινδύνων Πολλαπλά επίπεδα ασφάλειας - Yποδομές PKI / VPN - Σύστημα ανίχνευσης επιθέσεων - Ασφαλής αποθήκευση κλειδιών σε υλικό Μοντελοποίηση απόδοσης για μεγάλης κλίμακας εκλογές - Θεωρητικό μοντέλο - Επαλήθευση μέσω προσομοίωσης Ανοικτά εργαλεία - Open source εργαλεία ανάπτυξης και εξωτερικά λογισμικά - Add-ons που έχουν αναπτυχθεί από το ΕΑ ΙΤΥ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

7 Πλαίσιο μελέτης κρυπτογραφικών σχημάτων
ΠΝΥΚΑ Πλαίσιο μελέτης κρυπτογραφικών σχημάτων Μix-nets Τυχαίοι περίπατοι σε ομάδες διατάξεων (permutation groups) Παραλληλοποίηση: Δοθέντων n εισόδων σε συγκεκριμένη διάταξη, οδηγείται η είσοδος i στην έξοδο j μετά την εφαρμογή των μεταθέσεων του mix-net; P-complete ? (Aναγωγή από CVP) Ομομορφικές συναρτήσεις Υπολογισμός διακριτού λογάριθμου (το στιγμιότυπο προς επίλυση είναι μικρό) Αποδοτική παραλληλοποίηση ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

8 Κρυπτογραφικό πρωτόκολλο
ΠΝΥΚΑ Κρυπτογραφικό πρωτόκολλο W. D. Smith, 2006 Ομομορφική Elgamal κρυπτογράφηση και multiparty computations 0/1 και j out of k ψηφοφορίες Κατανεμημένη αρχιτεκτονική: Τοπικές Εκλογικές Αρχές (ΕΑ) που συνδέονται σε μία κεντρική Αποδοτικό υπολογιστικά Πρακτικά θέματα που δεν αντιμετωπίζει το πρωτόκολλο: Δεν υπάρχει το ανάλογο του εκλογικού καταλόγου για την πιστοποίηση των νόμιμων ψηφοφόρων - Υποδομή PKI Δεν υποδεικνύεται τρόπος γένεσης τυχαίων αριθμών - Κρυπτογραφικά ασφαλείς γεννήτριες Συγχρονισμός ρολογιών ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

9 Layered σχεδίαση - Συνδυασμός UML μοντελοποίησης και ανάλυσης κινδύνων
ΠΝΥΚΑ Layered σχεδίαση Aρχιτεκτονική εμπιστοσύνης Θεωρεί την εμπιστοσύνη ως μία ιδιότητα που κτίζεται σταδιακά από το φυσικό επίπεδο του συστήματος μέχρι τον τρόπο παρουσίασής του στους χρήστες CORAS Framework - Δομημένη μεθοδολογία που εφαρμόζεται σε όλα τα στάδια ανάπτυξης ενός συστήματος - Εκτεταμένη τεκμηρίωση - Συνδυασμός UML μοντελοποίησης και ανάλυσης κινδύνων ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

10 Επίπεδα ασφάλειας Ασφαλείς δικτυακές τεχνολογίες
ΠΝΥΚΑ Επίπεδα ασφάλειας Ασφαλείς δικτυακές τεχνολογίες - Υλοποίηση VPN συνδέσμων μεταξύ τοπικών και κεντρικής ΕΑ - OpenVPN - SSL authentication ψηφοφόρων Πιστοποίηση ψηφοφόρων - Ιεραρχική υποδομή PKI - OpenCA Ενίσχυση ανθεκτικότητας - Σύστημα ανίχνευσης επιθέσεων HELENA στην κεντρική υποδομή Ασφαλής αποθήκευση κλειδιών ΕΑ σε υλικό - Προγραμματιζόμενος μικροελεγκτής AVR ATMega8 ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

11 Μοντελοποίηση απόδοσης
ΠΝΥΚΑ Μοντελοποίηση απόδοσης Θεωρητικό μοντέλο - Θεωρίες δικτύων μεταφοράς + ουρών αναμονής - Μοντέλο δικτύου: Επίπεδο μη κατευθυνόμενο άκυκλο γράφημα - Queuing μοντέλο ΕΑ: Ανοικτό δίκτυο Jackson Προσομοίωση - Εκλογικός χάρτης της χώρας: 52 ΕΑs, μία για κάθε νομό - Κάθε τοπική ΕΑ: Εξυπηρετεί τους ψηφοφόρους της περιοχής Δρομολογεί τις ψήφους στην κεντρική ΕΑ - Οutput: Διαστασιολόγηση συστήματος # servers ανά ΕΑ χωρητικότητες γραμμών δικτύου ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

12 Εργαλεία Open Source εργαλεία ανάπτυξης - Linux
ΠΝΥΚΑ Εργαλεία Open Source εργαλεία ανάπτυξης - Linux - Βοuncy Castle crypto library - PostgreSQL - Java, NetBeans 5.5 - Apache Tomcat Open Source εξωτερικά λογισμικά - OpenVPN - OpenCA Add-ons που έχουν αναπτυχθεί από το ΕΑ ΙΤΥ - IDS HELENA ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

13 ΠΝΥΚΑ Συνολικό σύστημα ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

14 ΓΕΝΙΚΑ ΣΤΟΙΧΕΙΑ ΤΟΥ ΕΡΓΟΥ
ΠΝΥΚΑ ΜΕΡΟΣ Β: ΓΕΝΙΚΑ ΣΤΟΙΧΕΙΑ ΤΟΥ ΕΡΓΟΥ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

15 Ενότητες Εργασίας (ΕΕ)
ΠΝΥΚΑ Ενότητες Εργασίας (ΕΕ) ΕΕ1 – Επισκόπηση επιστημονικού πεδίου eVoting και ανάδειξη ανοικτών θεωρητικών και πρακτικών ζητημάτων ΕΕ2 – Συγκριτική διερεύνηση των δυνατοτήτων επιλεγμένων συστημάτων υποστήριξης eVoting ΕΕ3 – Ανάλυση απαιτήσεων και καθορισμός αρχιτεκτονικής του πλήρους συστήματος ΕΕ4 – Λεπτομερής σχεδιασμός του συστήματος με παράλληλη εφαρμογή μεθοδολογίας αποτίμησης και διαχείρισης κινδύνων ΕΕ5 – Μοντελοποίηση και εκτίμηση απόδοσης εφαρμογής του συστήματος eVoting σε μεγάλη κλίμακα ΕΕ6 – Υλοποίηση και έλεγχος σχεδίασης ΕΕ7 – Δοκιμαστική λειτουργία βασικού συστήματος ΕΕ8 – Ενέργειες δημοσιότητας και σχέδια ολοκλήρωσης & αξιοποίησης αποτελεσμάτων ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

16 Παραδοτέα (1/2) ΕΕ1: Επισκόπηση πεδίου - ΒΑΣΙΚΗ ΕΡΕΥΝΑ / EA ITY
ΠΝΥΚΑ Παραδοτέα (1/2) ΕΕ1: Επισκόπηση πεδίου - ΒΑΣΙΚΗ ΕΡΕΥΝΑ / EA ITY Π1: Βασικές απαιτήσεις ασφάλειας και υπάρχοντα κρυπτογραφικά πρωτόκολλα που τις αντιμετωπίζουν Π2: Ανοικτά ζητήματα στη βασική έρευνα και σε ερευνητικές υλοποιήσεις Π3: Σχεδίαση & ανάλυση νέων πρωτοκόλλων και κρυπτογραφικών μεθόδων ΕΕ2: Συγκριτική διερεύνηση συστημάτων eVoting - ΒΙΟΜΗΧΑΝΙΚΗ / EXPERTNET Π4: Διαδικασία επιλογής και χαρακτηριστικά συστημάτων Π5: Συγκριτική μελέτη συστημάτων ΕΕ3: Ανάλυση απαιτήσεων και καθορισμός αρχιτεκτονικής - ΒΙΟΜΗΧΑΝΙΚΗ / EA ITY Π6: Ανάλυση απαιτήσεων και μέθοδοι αντιμετώπισης Π7: Top – down σχεδίαση ΕΕ4: Λεπτομερής σχεδιασμός και ανάλυση κινδύνων – ΒΑΣΙΚΗ / EA ITY Π8: Σχεδίαση συστατικών μερών συστήματος Π9: Αναλυτική παρουσίαση διαδικασίας ανάλυσης κινδύνων Π10: Components βασικού συστήματος ΕΕ5: Μοντελοποίηση και εκτίμηση απόδοσης εφαρμογής του συστήματος eVoting σε μεγάλη κλίμακα – ΒΑΣΙΚΗ / EA ITY Π11: Θεωρητικό μοντέλο εκτίμησης απόδοσης Π12: Κώδικας και αποτελέσματα προσομοίωσης ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

17 ΠΝΥΚΑ Παραδοτέα (2/2) ΕΕ6: Υλοποίηση και έλεγχος σχεδίασης – ΒΙΟΜΗΧΑΝΙΚΗ / ΕΑ ΙΤΥ Π13: Επιλογή εργαλείων και τεχνολογιών ανάπτυξης Π14: Βιβλιοθήκη crypto αντικειμένων Π15: Bασικό σύστημα Π16: Αποτελέσματα ελέγχων βασικού συστήματος Π17: Πλήρες σύστημα Π18: Aποτελέσματα ελέγχων πλήρους συστήματος ΕΕ7: Δοκιμαστική λειτουργία βασικού συστήματος – ΕΠΙΔΕΙΚΤΙΚΗ / ΕΑ ΙΤΥ Π19: Πρόγραμμα δοκιμαστικής λειτουργίας Π20: Χρονοδιάγραμμα πραγματοποίησης δοκιμών Π21: Αναφορά αποτελεσμάτων δοκιμών ΕΕ8: Ενέργειες δημοσιότητας και σχέδια ολοκλήρωσης – ΕΠΙΔΕΙΚΤΙΚΗ / ΕΧPERTNET Π22: Πλάνο δημοσιότητας έργου Π23: Έντυπο και ηλεκτρονικό υλικό προβολής Π24: Ανακοινώσεις/δημοσιεύσεις επιστημονικών εργασιών Π25: 2 ενημερωτικές ημερίδες σε Αθήνα και Πάτρα Π26: Σχέδιο ολοκλήρωσης/αξιοποίησης αποτελεσμάτων Π27: Σχέδιο συμμετοχής φορέων σε σχετικά clusters Π28: Συμφωνία αξιοποίησης αποτελεσμάτων ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

18 ΠΝΥΚΑ Xρονοδιάγραμμα ΠΝΥΚΑ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

19 ΑΠΟΤΕΛΕΣΜΑΤΑ ΤΩΝ ΒΑΣΙΚΩΝ ΦΑΣΕΩΝ ΥΛΟΠΟΙΗΣΗΣ
ΠΝΥΚΑ ΜΕΡΟΣ Γ: ΑΠΟΤΕΛΕΣΜΑΤΑ ΤΩΝ ΒΑΣΙΚΩΝ ΦΑΣΕΩΝ ΥΛΟΠΟΙΗΣΗΣ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

20 State-of-the-art (1/3) Π1: Επισκόπηση Πεδίου
ΠΝΥΚΑ State-of-the-art (1/3) Π1: Επισκόπηση Πεδίου Ορισμοί και χαρακτηριστικά συστημάτων ηλεκτρονικής ψηφοφορίας (Η/Ψ) Καταστατικές αρχές και γενικό μοντέλο Η/Ψ Παραδείγματα δράσεων εφαρμογής Η/Ψ - Εσθονία - Ισπανία - Ελβετία - Μεγάλη Βρετανία - Ελλάδα Απαιτήσεις ασφάλειας - Γενικές / Ειδικές - Ασφάλεια στην Η/Υ μέσω Διαδικτύου Κύριες προσεγγίσεις για ασφαλείς Η/Ψ (πρωτόκολλα) - Σχήματα Mix-nets - Σχήματα με Oμομορφικές Συναρτήσεις - Υβριδικά σχήματα ΠΑΡΑΡΤΗΜΑΤΑ - Βασικό θεωρητικό υπόβαθρο - Ορολογία ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

21 State-of-the-art (2/3) Π2: Αναφορά ανοικτών ζητημάτων
ΠΝΥΚΑ State-of-the-art (2/3) Π2: Αναφορά ανοικτών ζητημάτων Πλαίσιο αξιολόγησης κρυπτογραφικών σχημάτων - Ασφάλεια - Αποδοτικότητα Αξιολόγηση σχημάτων - Θεωρητικό πλαίσιο ανάλυσης Πολυπλοκότητες κρυπτανάλυσης και εκτέλεσης αριθμητικών πράξεων σε μεγάλους ακέραιους Μix-nets: Τυχαίοι περίπατοι σε ομάδες διατάξεων έτσι ώστε oι τελικές αναδιατάξεις να ακολουθούν την ομοιόμορφη κατανομή Παραλληλοποίηση mix-nets P complete ? (Aναγωγή από CVP) Ανοικτά θεωρητικά και πρακτικά ζητήματα - Όρια αποδοτικότητας mix-nets - Διαφυγούσες μεταθέσεις - Μόνιμα πρωτόκολλα & δομές δεδομένων – Αποθήκευση διαδοχικών καταστάσεων ενός mix-net για καλύτερο έλεγχο - Xρήση τυπικών μεθόδων σχεδιασμού – ανάλυσης - Επιτάχυνση λειτουργίας mix-nets (ανάμιξη υποσυνόλων) και ομομορφικών σχημάτων (παραλληλοποίηση πχ. με χρήση PVM/MPI οver SSL) - Ανθεκτικότητα και υψηλή διαθεσιμότητα – Ελλειπτικές καμπύλες, Virtual Linux servers - Mηχανισμοί εντοπισμού και αντιμετώπισης προσπαθειών αλλοίωσης του αποτελέσματος – IDS συστήματα - Πιστοποίηση ψηφοφόρων – Yποδομή PKI, Η/W tokens ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

22 State-of-the-art (3/3) Π3: Επιλογή πρωτοκόλλου ψηφοφορίας
ΠΝΥΚΑ State-of-the-art (3/3) Π3: Επιλογή πρωτοκόλλου ψηφοφορίας Σύνθεση αποτελεσμάτων αξιολόγησης Επιλογή πρωτοκόλλου - Αλγοριθμική παρουσίαση - Ανάλυση ασφάλειας/απόδοσης - Παραδοχές και περιορισμοί Βελτιώσεις – επεκτάσεις - Ψηφιακά εκλογικά βιβλιάρια / PKI υποδομή - Κρυπτογραφικά ασφαλείς γεννήτριες τυχαίων αριθμών - Μηχανισμός timestamping με συγχρονισμό ρολογιών ΠΑΡΑΡΤΗΜΑ: Σχολιασμένη βιβλιογραφία ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

23 Επιλεγμένο πρωτόκολλο ψηφοφορίας (1/4)
ΠΝΥΚΑ Επιλεγμένο πρωτόκολλο ψηφοφορίας (1/4) Πρόταση W. D. Smith, Cryptography meets voting, living document, Draft of January 2006 Xαρακτηριστικά Πρακτικό και κατάλληλο για ψηφοφορίες μεγάλης κλίμακας Διαμοίραση κλειδιού ανάμεσα σε μη έμπιστες αρχές ελέγχου Τhreshold cryptography Oμομορφική άθροιση ψήφων ElGamal κρυπτο/αποκρυπτογράφηση Ιδιότητες ασφάλειας ο Δημοκρατικότητα (Democracy) ο Ορθότητα – Ακρίβεια (Accuracy) ο Mυστικότητα (Secrecy) ο Mη αναγκαιότητα έκδοσης απόδειξης (Receipt freeness) ο Προστασία από εξαναγκασμό (Uncoercibility) ο Αμεροληψία (fairness) ο Ατομική και οικουμενική επαληθευσιμότητα (Verifiability) ο Ανθεκτικότητα (robustness) Βασικές οντότητες Εκλογική Αρχή (ΕΑ): ΥπΕσΔΔΑ / Φορέας υπεύθυνος για τη διεξαγωγή της ψηφοφορίας Κeyholders: Εφορευτική Επιτροπή (πχ. εκπρόσωποι κομμάτων) Πίνακας Ανακοινώσεων: Δημόσια προσπελάσιμη περιοχή με τα αποτελέσματα της ψηφοφορίας ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

24 Επιλεγόμενο πρωτόκολλο ψηφοφορίας (2/4)
ΠΝΥΚΑ Επιλεγόμενο πρωτόκολλο ψηφοφορίας (2/4) Βήματα εκτέλεσης Aρχικοποίηση Oι keyholders παράγουν τυχαία τα s μυστικά κλειδιά και στη συνέχεια το δημόσιο κλειδί Κ (1024 bits) Παραγωγή και υποβολή ψήφου Ο ψηφοφόρος παράγει την ψήφο του μέσα από ένα δημόσια αναρτημένο ψηφοδέλτιο Ο ψηφοφόρος κρυπτογραφεί την ψήφο του με το κλειδί Κ (έστω Μ) Ο ψηφοφορόρος στέλνει την ψήφο Μ στην ΕΑ Η ΕΑ επανακρυπτογραφεί ομομορφικά κατά Elgamal την Μ και παίρνει την Μ’ Ψηφοφόρος και ΕΑ παράγουν από κοινού μια απόδειξη μηδενικής ψήφου για την εγκυρότητα της Μ’ Η ΕΑ προσθέτει χρονοσφραγίδα στην Μ’ και παίρνει τελικά την Μ’’ που τη στέλνει πίσω στον ψηφοφόρο Η ΕΑ παράγει μια απόδειξη μηδενικής γνώσης για την ισότητα του διακριτού λογάριθμου για να πείσει τον ψηφοφόρο και μόνον αυτόν ότι η Μ’’ είναι έγκυρη Ο ψηφοφόρος επιβεβαιώνει την εγκυρότητα, υπογράφει την Μ’’ και τη στέλνει πίσω στην ΕΑ Η ΕΑ ειδοποιεί τον ψηφοφόρο αν η υπογραφή του δεν ήταν έγκυρη ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

25 Επιλεγόμενο πρωτόκολλο ψηφοφορίας (3/4)
ΠΝΥΚΑ Επιλεγόμενο πρωτόκολλο ψηφοφορίας (3/4) Βήματα εκτέλεσης (Συνέχεια) Επαλήθευση από ψηφοφόρο Η ΕΑ υπογράφει επίσης Η ΕΑ αναρτά την υπογεγραμμένη Μ’’ σε δημόσιο πίνακα ανακοινώσεων δίπλα στο όνομα του ψηφοφόρου και παράλληλα εκδίδει έντυπη απόδειξη (bar code) Ο ψηφοφόρος ανιχνεύει την έντυπη απόδειξη και ελέγχει την υπογραφή της ΕΑ (Ο ψηφοφόρος μπορεί να ψηφίσει πολλές φορές αλλά μόνο η τελευταία χρονικά θεωρείται έγκυρη) Καταμέτρηση Μόλις αναρτηθούν όλες οι ψήφοι, η ΕΑ τις προσθέτει ομομορφικά για να πάρει κρυπτογραφημένο κατά Elgamal με βάση με κλειδί Κ το αποτέλεσμα της ψηφοφορίας Οι s keyholders διαδοχικά αποκρυπτογραφούν το παραπάνω αποτέλεσμα χρησιμοποιώντας τα κλειδιά Κ1, Κ2, …, Κs και παράγουν το αποτέλεσμα Τ της ψηφοφορίας στη μορφή iT. Παράλληλα παρέχουν απόδειξη μηδενικής γνώσης ότι τα κλειδιά αυτά είναι ίδια με τα αρχικά Mε χρήση κατάλληλης τεχνικής (Βaby/giant, λ μέθοδος) υπολογίζεται το Τ το οποίο αναρτάται στον πίνακα ανακοινώσεων ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

26 Επιλεγμένο πρωτόκολλο ψηφοφορίας (4/4)
ΠΝΥΚΑ Επιλεγμένο πρωτόκολλο ψηφοφορίας (4/4) Πρακτικά ζητήματα Στο πρωτόκολλο δεν υπάρχει το ανάλογο του εκλογικού καταλόγου Συγχρονισμός ρολογιών ώστε να είναι οι χρονοσφραγίδες σωστές Κατανεμημένη αρχιτεκτονική για λόγους απόδοσης (κεντρική και τοπικές EAs) Νull τιμές ως ένδειξη αποχής (διάφανη αποχή) Επιθέσεις κατά των keyholders - Aσφαλής αποθήκευση κλειδιών Πιθανότητα άρνησης της ΕΑ να δεχθεί ψήφους - Πολλαπλές EAs που υπογράφουν με διαφορετικά κλειδιά ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

27 Σχεδιασμός συστήματος (1/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (1/7) Π4: Διαδικασία επιλογής & χαρακτηριστικά συστημάτων Η/Ψ Εξέλιξη τεχνολογίας - Συστήματα με μηχανικό μοχλό -> διαδικτυακά συστήματα Αρχιτεκτονική αναφοράς συστημάτων απομακρυσμένης Η/Ψ (Συμβούλιο της Ευρώπης / ΟΑSIS Cons.) - Οριοθέτηση - Λειτουργικά & τεχνικά πρότυπα Μεθοδολογία επιλογής Πλαίσιο παρουσίασης & αξιολόγησης - Χαρακτηριστικά - Κριτήρια αξιολόγησης ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

28 Σχεδιασμός συστήματος (2/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (2/7) Π5: Συγκριτική αξιολόγηση επιλεγμένων συστημάτων Παρουσίαση Aξιολόγηση ΙST Προσβασιμότητα - e-Vote - Ευελιξία - CyberVote - Κλιμάκωση Εμπορικά - Ελεγξιμότητα - Pnyx - Διαλειτουργικότητα - eBallot - Ασφάλεια - eVACs Kυβερνητικά - Σύστημα Εσθονίας - Σύστημα Ελβετίας Πειραματικά (Εργαστηριακά) - ΕVOX (REVS) - e-KLOGES - IBB Ανοικτού κώδικα ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

29 Σχεδιασμός συστήματος (3/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (3/7) Π6: Ανάλυση απαιτήσεων και μέθοδοι αντιμετώπισης Π7: Τοp-down σχεδίαση του συστήματος Φυσική αρχιτεκτονική ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

30 Σχεδιασμός συστήματος (4/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (4/7) Αρχιτεκτονική ΕΑ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

31 Σχεδιασμός συστήματος (5/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (5/7) Αρχιτεκτονική Λογισμικού ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

32 Σχεδιασμός συστήματος (6/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (6/7) Αποτίμηση ασφάλειας αρχιτεκτονικής - Πίνακες ΗΑΖΟP Μοντέλο εμπιστοσύνης του συστήματος - Στρώματα αρχιτεκτονικής εμπιστοσύνης ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

33 Σχεδιασμός συστήματος (7/7)
ΠΝΥΚΑ Σχεδιασμός συστήματος (7/7) Π8: Αναλυτικός σχεδιασμός συστήματος Παραδοχές - Ύπαρξη ή μη εκλογικού καταλόγου - Επίπεδα ασφάλειας Ανά υποσύστημα: - Πακέτα συναρτήσεων κλάσεων - UML διαγράμματα Π10: Components βασικού συστήματος Καθορισμός παραμέτρων - Ασφάλεια - Κλίμακα εφαρμογής - Απόδοση - Επαληθευσιμότητα Τύποι διαδικασιών ψηφοφορίας Παραμετροποίηση & Ροές πληροφορίας ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

34 Ανάλυση και διαχείριση κινδύνων (1/11)
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (1/11) Π9: Ανάλυση και διαχείριση κινδύνων Μεθοδολογία CORAS Προσαρμοσμένη γλώσσα για μοντελοποίηση κινδύνων (βασισμένη στη UML) + εκτενής τεκμηρίωση (διαγράμματα, πίνακες) Λεπτομερείς οδηγίες – βήματα: Περιγραφή περιβάλλοντος συστήματος Προσδιορισμός κινδύνων Ανάλυση κινδύνων Αξιολόγηση κινδύνων Αντιμετώπιση κινδύνων Διαφορετικά εργαλεία και τεχνικές για κάθε βήμα Λογισμικό που ενοποιεί τα εργαλεία και την τεκμηρίωση των αποτελεσμάτων ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

35 Ανάλυση και διαχείριση κινδύνων (2/11)
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (2/11) Βήματα εφαρμογής CORAS Προσδιορισμός Περιβάλλοντος (Context Identification) Σενάριο εφαρμογής, οντότητες, ροές δεδομένων Γλώσσα μοντελοποίησης UML Προσδιορισμός Επικινδυνότητας (Risk Identification) Εντοπισμός και η καταγραφή απειλών Threat Diagrams Ανάλυση HazOp Fault Tree Analysis Ανάλυση Επικινδυνότητας (Risk Analysis) Ορισμός επιπέδων Πιθανότητας εμφάνισης, κρισιμότητας Συνέπειας και Κινδύνου Εκτίμηση κινδύνων (Συχνότητας εμφάνισης και Συνέπειας) - Ποιοτική - Ποσοτική (μέσω Fault Tree Analysis) Αξιολόγηση Επικινδυνότητας (Risk Evaluation) Πίνακας κατηγοριοποίησης ρίσκου Αντιμετώπιση Κινδύνων (Risk Treatment) Πρόταση αντιμέτρων για κρίσιμους κινδύνους ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

36 Abstract Class διάγραμμα
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (3/11) Bήμα 1: Προσδιορισμός Περιβάλλοντος Abstract Class διάγραμμα Use Case διάγραμμα Activity διάγραμμα ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

37 Διάγραμμα χρονικής αλληλουχίας
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (4/11) Bήμα 1 (Συνέχεια) Διάγραμμα χρονικής αλληλουχίας ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

38 Τμήμα Πίνακα Υψηλού Επιπέδου Ρίσκου
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (5/11) Βήμα 2: Προσδιορισμός Επικινδυνότητας Ποιος/τι προκαλεί την απειλή; Πώς; Ποιο περιστατικό; Τι επηρεάζεται; Τι επιτρέπει αυτήν την απειλή; Keyholders Αποκάλυψη των μυστικών κλειδιών Διεφθαρμένοι Keyholders (λογισμικό) Ψηφοφόρος Παραχώρηση των credentials (id, password, πιστοποιητικό) σε άλλο άτομο Κακόβουλος ψηφοφόρος EA Αλλοίωση ψήφων Διεφθαρμένη ΕΑ Αποκάλυψη ψήφων Σφάλμα στην καταμέτρηση Σφάλμα στο λογισμικό Αλλοίωση αποτελέσματος Coercer Εξαναγκασμός Ψηφοφόρου Έλλειψη επιτήρησης κατά την απομακρυσμένη υποβολή ψήφου Hacker Αλλοίωση Ψήφου Ανεπαρκής ασφάλεια Αλλοίωση τελικού αποτελέσματος Τμήμα Πίνακα Υψηλού Επιπέδου Ρίσκου ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

39 Ανάλυση και διαχείριση κινδύνων (6/11)
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (6/11) Βήμα 2 (Συνέχεια) Asset: Κλειδιά Κi (Βήμα 1) Οδηγία Απειλές Πιθανότητα Συνέπειες Αντίμετρα Manipulation Αλλοίωση της λειτουργίας του key generator από άτομο με πρόσβαση σε αυτόν Μικρή Τα κλειδιά δεν είναι μυστικά ή δεν παράγονται τυχαία Έλεγχος του key generator πριν τις εκλογές Περιορισμός πρόσβασης στο λογισμικό Disclosure Αποκάλυψη κάποιων Ki από τους κατόχους τους Μέτρια Πιθανή διαφθορά στις εκλογές Διαμοιρασμός κλειδιού κατά το μοντέλο k out of k. Απαιτεί όλοι οι keyholders να αποκαλύψουν το κλειδί τους για να αποκαλυφθεί το κλειδί αποκρυπτογράφησης της ψηφοφορίας Programming Εrrors Λάθη στο λογισμικό του generator Τα κλειδιά δεν παράγονται τυχαία (fake randomness). Τα κλειδιά δεν πληρούν τις απαιτούμενες ιδιότητες (πχ. κατάλληλο μήκος) Εφαρμογή πρακτικών καλού και δομημένου προγραμματισμού Εκτεταμένοι έλεγχοι του λογισμικού Χρήση ασφαλών γεννητριών τυχαίων αριθμών Τμήμα Πίνακα HazOp ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

40 Fault Tree Diagram (ITEM Toolkit)
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (7/11) Βήμα 2 (Συνέχεια) Fault Tree Diagram (ITEM Toolkit) ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

41 Υπολογισμός πιθανότητας της απειλής Συμβάντα που εμπλέκονται
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (8/11) Βήμα 3: Ανάλυση Επικινδυνότητας Εκτίμηση πιθανότητας πραγματοποίησης ‘κακών’ συμβάντων Συμβάν Περιγραφή Πιθανότητα Αποκάλυψη από τον ψηφοφόρο 1 Αποκάλυψη της ψήφου από τον ψηφοφόρο 0,05 2 Σφάλμα στο λογισμικό του ψηφοφόρου 0,1 3 Κακόβουλο λογισμικό στο PC του ψηφοφόρου Υποκλοπή κατά τη μεταφορά 4 SSL failure Αποκάλυψη από το Vote Manager 5 Κακόβουλη εκλογική αρχή (vote manager) 6 Κακόβουλο λογισμικό στην εκλογική αρχή (vote manager) Υπολογισμός πιθανότητας της απειλής Α/Α Απειλής Περιγραφή Συμβάντα που εμπλέκονται Πιθανότητα 1 Αποκάλυψη της ψήφου Μ 1-6 0,38 (Μέτρια) ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

42 Ποιοτική εκτίμηση Συνέπειας με χρήση FMEA
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (9/11) Βήμα 3 (Συνέχεια) Ποιοτική εκτίμηση Συνέπειας με χρήση FMEA Α/Α Συνάρτηση Τρόπος Αστοχίας Αποτελέσματα Αιτίες Συνέπειες Σε τοπικό επίπεδο Σε επίπεδο συνολικού συστήματος 1 GenerateElGamalParameters (size) Δεν είναι διαθέσιμη η παράμετρος size, από το config file του συστήματος Δεν μπορούν να δημιουργηθούν οι δημόσιες παράμετροι Δεν μπορεί να γίνει η Αρχικοποίηση του συστήματος Δεν έχει ενημερωθεί σωστά το config file από τον διαχειριστή του συστήματος Δεν είναι δυνατή η πρόσβαση στο config file/στη βάση Δεν μπορεί να ξεκινήσει η διαδικασία ψηφοφορίας 2 Publish(elGamalParameters) Δεν ενημερώνεται το Bulletin Board με τις δημόσιες παραμέτρους Οι keyholders δεν μπορούν να προχωρήσουν στη δημιουργία του κλειδιού Δεν είναι δυνατή η σύνδεση με τη βάση ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

43 Πίνακας κατηγοριοποίησης κινδύνων
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (10/11) Βήμα 4: Αξιολόγηση Επικινδυνότητας Πίνακας κατηγοριοποίησης κινδύνων Συνέπεια Πιθανότητα Ελάχιστη Μικρή Μέτρια Μεγάλη Πολύ μεγάλη Ασήμαντη 4, 10, 12, 30, 31 29, 32, 34, 35, 36, 39, 40 14 3 8, 22 Σημαντική 1, 9, 21, 23, 26, 27 7, 17 , 20, 24, 25, 28, 33, 37 13 Καταστροφική 2, 5, 11, 47 6, 15, 16, 18, 19, 41, 43, 44, 45, 46 38, 48, 49 42 ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

44 Ανάλυση και διαχείριση κινδύνων (11/11)
ΠΝΥΚΑ Ανάλυση και διαχείριση κινδύνων (11/11) Βήμα 5: Αντιμετώπιση Κινδύνων ID κινδύνου Περιγραφή Επίπεδο Κινδύνου Επιλογές αντιμετώπισης – Αντίμετρα Κίνδυνοι που αφορούν στην αποκάλυψη ή μη διαθεσιμότητα των Μερικών Κλειδιών 2 Αποκάλυψη κάποιων Ki από τους κατόχους τους Ακραίο Η αποκάλυψη των μερισμάτων των κλειδιών θα ήταν καταστροφική, καθώς θα καθιστούσε δυνατή την αποκρυπτογράφηση από τρίτους (ή και από την ΕΑ) των επιμέρους ψήφων και του αποτελέσματος. Το μέτρο που λαμβάνεται είναι η χρήση threshold μεθόδων κρυπτογράφησης, όπου απαιτούνται τουλάχιστον t από τους n keyholders για τη διεξαγωγή των εκλογών. Επιπλέον, τα αντικρουόμενα συμφέροντα των keyholders αποτρέπουν την πιθανότητα συμμαχίας τους. Για την μέγιστη ασφάλεια προτείνεται t=n, δηλαδή πρέπει να συμφωνήσουν όλοι οι keyholders. 5 Κάποια από τα Ki δεν είναι διαθέσιμα ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

45 Ανάπτυξη συστήματος (1/4)
ΠΝΥΚΑ Ανάπτυξη συστήματος (1/4) Π13: Επιλογή εργαλείων & τεχνολογιών Εργαλεία ανάπτυξης - Linux Ubuntu - Java, JKD, NetBeans 5.5, Java servlets, CGI scripts κλπ. - Crypto βιβλιοθήκη Bouncy Castle - Bάση δεδομένων PostgreSQL - Web/application server Apache Tomcat - Sockets για τα δικτυακά κομμάτια Τεχνολογίες/Πρωτόκολλα - Πρωτόκολο ΝΤP για το συγχρονισμό ρολογιών - Σύστημα ΙDS HELENA - Γεννήτρια υλικού για την παραγωγή seeds SG100 - Γεννήτριες ψευδοτυχαίων BBS, RSA - Επαναπρογραμματιζόμενος μικροελεγκτής AVR ATMega8 για την ασφαλή αποθήκευση των κλειδιών Εξωτερικά συστήματα λογισμικού - OpenCA για την υλοποίηση ιεραρχικής υποδομής PKI - OpenVPN για τη δημιουργία ασφαλών VPN συνδέσμων μεταξύ κεντρικής και τοπικών EAs ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

46 Ανάπτυξη συστήματος (2/4)
ΠΝΥΚΑ Ανάπτυξη συστήματος (2/4) Π14: Bιβλιοθήκη crypto objects Δομή της βιβλιοθήκης Διεπαφές - Kρυπτογραφήματα - Elgamal κρυπτο/αποκρυπτογράφηση μεγάλων ακεραίων - Ψηφιακές υπογραφές - Σχέδιο ψηφιακών υπογραφών Elgamal - Αποδείξεις μηδενικής γνώσης - Ισότητα Διακριτού λογάριθμου, Kρυπτογράφηση 1 bit, Αριθμός εντός ενός διαστήματος - Γεννήτριες παραγωγής τυχαίων αριθμών - BBS, RSA - Υπολογισμός διακριτού λογάριθμου - Baby/Giant Step του Shanks Αρχεία ενσωμάτωσης βιβλιοθήκης σε εφαρμογές Κώδικας / Τεκμηρίωση ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

47 Ανάπτυξη συστήματος (3/4)
ΠΝΥΚΑ Ανάπτυξη συστήματος (3/4) Σενάριο δοκιμαστικής λειτουργίας στο ΤΕΕ Δ. Ελλάδας Αρχικές συνθήκες Διαδικασία σφυγμομέτρησης για κάποιο θέμα που αφορά τους μηχανικούς 2 τοπικές EAs και 1 κεντρική Όλες οι απαιτούμενες υποδομές θα είναι εγκατεστημένες στο ΕΑ ΙΤΥ Η ψηφοφορία θα διεξαχθεί σε ημέρα που θα καθοριστεί από κοινού και θα διαρκέσει 12 ώρες Βήματα Επιλογή μελών και κατάρτιση λίστας νόμιμων ψηφοφόρων (καταρχήν 200 μηχανικοί) – 20/10 Δημιουργία usernames/passwords στην ΟpenCA και αποστολή στα μέλη της λίστας – 31/10 Εγγραφή νόμιμου ψηφοφόρου και υποβολή ψήφου (διαδοχικά βήματα κατά τη διάρκεια της ψηφοφορίας) έως 20/11 Ανακοίνωση αποτελέσματος μέσα από ειδική ιστοσελίδα μέσα στο domain του ΕΑ ΙΤΥ Αξιολόγηση με τη συμπλήρωση ηλεκτρονικού ερωτηματολογίου – 30/11 ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

48 Ανάπτυξη συστήματος (4/4)
ΠΝΥΚΑ Ανάπτυξη συστήματος (4/4) Συνολικό σύστημα ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

49 Εκτίμηση απόδοσης (1/2) Π11: Θεωρητικό (μαθηματικό) μοντέλο συστήματος
ΠΝΥΚΑ Εκτίμηση απόδοσης (1/2) Π11: Θεωρητικό (μαθηματικό) μοντέλο συστήματος Μαθηματικά εργαλεία - Θεωρία γραφημάτων (Δίκτυα μεταφοράς) - Ουρές αναμονής Μοντέλο του συστήματος - Εκλογές εθνικής κλίμακας (Εκλογικός χάρτης της χώρας) - Τοπικές ΕΑs σε κάθε νομό - Κάθε ΕΑ είναι ένα ανοικτό δίκτυο Jackson - Δρομολόγηση ροής μέσω γειτονικών κόμβων σε ένα επίπεδο κατευθυνόμενο γράφημα - Χρονικές ζώνες σταθερού ρυθμού προσέλευσης ψηφοφόρων (κατανομή Weibull) Μετρικές - Avg και Μax χρόνοι εξυπηρέτησης, μεγέθη ουρών, … ανά ΕΑ - Απαιτούμενο πλήθος servers ανά ΕΑ - Απαιτούμενες χωρητικότητες δικτυακών συνδέσεων Επεκτάσεις - Δρομολόγηση ψήφων από τη λιγότερο απασχολημένη γραμμή - Max flow min cost ροές, shortest path routing - Μοντελοποίηση βλαβών σε γραμμές ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

50 Εκτίμηση απόδοσης (2/2) Π12: Προσομοίωση μοντέλου
ΠΝΥΚΑ Εκτίμηση απόδοσης (2/2) Π12: Προσομοίωση μοντέλου Εργαλείο προσομοίωσης CSIM 19 - Discrete event, process-oriented - C/C++/Java – ΑPIs για τη σύνδεση με τις βιβλιοθήκες του εργαλείου - Μαθηματικές και εμπειρικές πιθανοτικές κατανομές Διεπαφές που αναπτύχθηκαν – Java (JDK 1.5) - Δημιουργία εκλογικού χάρτη και εισαγωγή παραμέτρων - Απεικόνιση του χάρτη - Ενδιάμεση καταγραφή αποτελεσμάτων - Παρουσίαση αποτελεσμάτων με γραφικό τρόπο Πειράματα (runs) - Αρχικές συνθήκες: Όλες οι ΕΑs έχουν την ίδια υπολογιστική ισχύ - Κλιμάκωση μέσω “what if” σεναρίων - Έξοδος: Βέλτιστη κατανομή servers ανά ΕΑ, Χωρητικότητες γραμμών ΠΑΡΑΡΤΗΜΑ - XML αρχείο εισόδου - Java κώδικας ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

51 Ενέργειες δημοσιότητας
ΠΝΥΚΑ Ενέργειες δημοσιότητας Π18: Πλάνο δημοσιότητας έργου Ιστοσελίδα έργου Logo, φυλλάδιο, αφίσα Επιστημονικές ανακοινώσεις/papers Ενέργειες δικτύωσης Ανοικτές ενημερωτικές ημερίδες A Trust-Centered Approach for Building eVoting Systems, A. Antoniou, C. Korakas, C. Manolopoulos, A. Panagiotaki, D. Sofotassios, P. Spirakis, Y. C. Stamatiou, Proc. of 6th Int. Conf. on Electronic Government (EGOV 2007), 3 – 7 Σεπτεμβρίου 2007, Regensburg, Γερμανία, M. Wimer, J Scholl, A. Gronlund (Eds), Springer, 2007, World eGov Forum, «Συμμετοχή πολιτών στην ενημέρωση μέσω της δημοσιογραφίας του Διαδικτύου και Ηλεκτρονική Δημοκρατία στην Ελλάδα», 18 – 20 Οκτωβρίου 2006, Issy-les-Moulineaux Forum for the Future of Democracy, «Ηλεκτρονική Δημοκρατία, ευκαιρίες και προβλήματα», 13 – 15 Ιουνίου 2007, Στοκχόλμη Informal Working Group (IWG), “Ad-Hoc Committee on eDemocracy” (CAHDE), Συμβούλιο της Ευρώπης, 2-3 Ιουλίου 2007, Σόφια SIMUTools ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

52 ΠΝΥΚΑ Δείκτες ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ

53 ΠΝΥΚΑ ΜΕΡΟΣ Δ: ΕΠΙΔΕΙΞΗ ΠΕΠ Δ. ΕΛΛΑΔΑΣ ΔΕΛ_2 - ΠΝΥΚΑ