Σεπτέμβριος+2007


 * Θέμα 4**

1) Περιγράψτε την λύση του προβλήματος της __κατανεμημένης βυζαντινής συμφωνίας με συντονιστή__ για ένα __σύγχρονο__ σύστημα και επικοινωνία με __κρυπτογραφημένα/υπογεγραμμένα μηνύματα__. 2) Δώστε τον αλγόριθμο σε __ψευτοκώδικα__. Υποθέστε ότι το δίκτυο δεν χάνει μηνύματα. 3) Επιχειρηματολογείστε για την __ορθότητα__ του αλγορίθμου (ορθότητα απόφασης και τερματισμός).


 * (Τον ψευδοκώδικα του 2ου ερωτήματος αν ξέρει κανένας.. Τα 1 και 3 είναι στις διαλέξεις!)