Ελένη Πύλια Κατερίνα Σωτηράκη

Transcript

1 Ελένη Πύλια Κατερίνα Σωτηράκη

2 Στα πλαίσια του secure multi-party computation, n παίκτες με ιδιωτικές εισόδους (private inputs) επιθυμούν να υπολογίσουν από κοινού και με ασφάλεια μία συνάρτηση αυτών των εισόδων. Αυτός ο υπολογισμός θα πρέπει να είναι τέτοιος ώστε κάθε παίκτης να λαμβάνει τη σωστή έξοδο (output), που αντιστοιχεί σε αυτόν, και να μη μαθαίνει κάτι παραπάνω πέρα από την καθορισμένη αυτή έξοδο. Η παραπάνω διαδικασία ονομάζεται n-αδική functionality και συμβολίζεται με: f : ({0, 1} ) n ({0, 1} ) n, όπου f = (f 1, f 2, f n ).

3 Privacy: Κάθε παίκτης μαθαίνει μόνο την έξοδο που αντιστοιχεί σε αυτόν και τίποτα παραπάνω. Correctness: Είναι εγγυημένο ότι η έξοδος που θα λάβει κάθε παίκτης είναι σωστή. Independence of Inputs: Οι διεφθαρμένοι παίκτες πρέπει να διαλέγουν τις εισόδους τους ανεξάρτητα από τις εισόδους των ειλικρινών παικτών. Guaranteed output delivery: Οι διεφθαρμένοι παίκτες δεν πρέπει να μπορούν να αποτρέψουν τους ειλικρινείς παίκτες να αποκτήσουν τις εξόδους τους. Fairness: Complete fairness No fairness Partial fairness

4 Ορισμός 1.1. Ως Byzantine Generals problem(broadcast) ορίζεται το πρόβλημα στο οποίο ένας παίκτης, ο οποίος ονομάζεται dealer, στέλνει, με συνέπεια, ένα μήνυμα σε όλους τους άλλους παίκτες και ζητείται όλοι οι ειλικρινείς παίκτες να λάβουν το ίδιο μήνυμα, ακόμα και αν ο dealer είναι διεφθαρμένος. Ορισμός 1.2. Ως Byzantine Agreement problem ορίζεται το πρόβλημα στο οποίο όλοι οι παίκτες ξεκινούν με μια τιμή εισόδου και πρέπει να συμφωνήσουν στην ίδια τιμή εξόδου. Στην περίπτωση που όλοι οι ειλικρινείς παίκτες έχουν την ίδια τιμή εισόδου, τότε απαιτείται η τιμή της εξόδου να είναι ίδια με αυτήν την τιμή της εισόδου. Ορισμός 1.3. Στο information-theoretic μοντέλο του secure computation, ο αντίπαλος δε φράσσεται από κάποια κλάση πολυπλοκότητας, οπότε δε θεωρείται ότι είναι πολυωνυμικού χρόνου μηχανή. Ορισμός 1.4. Στο computational μοντέλο του secure computation, ο αντίπαλος θεωρείται ότι είναι μια πιθανοτική (probabilistic) μηχανή πολυωνυμικού χρόνου.

5

6

7

8 Ορισμός 1.5. Ως composition ενός πρωτοκόλλου εννοούμε τη selfcomposition,όπου το ίδιο πρωτόκολλο εκτελείται πολλές φορές, από το ίδιο σύνολο παικτών. Stateless composition έχουμε όταν ένα πρωτόκολλο εκτελείται πολλές φορές και οι ειλικρινείς παίκτες δρουν σε κάθε εκτέλεση ανεξάρτητα από τις προηγούμενες.

9

10 Έστω L {0, 1}. Δύο οικογένειες κατανομών X = {X n }, Y ={Y n } είναι: Ορισμός 2.1. Computationally indistinguishable για την L αν για κάθε πολυωνυμικού μεγέθους οικογένεια κυκλωμάτων C, για κάθε πολυώνυμο p( x ) και για κάθε αρκετά μεγάλο string x L: Συμβολισμός: Prob[X,C,x] Prob[Y,C, x] 1/p( x ) c Ορισμός 2.2. Statistically close για την L αν για κάθε πολυώνυμο p( x ) : Prob(X =α) Prob(Y =α) < 1/p( x ), s Συμβολισμός: για αρκετά μεγάλο x.

11 Ορισμός 2.3. Ένας κακόβουλος αντίπαλος (malicious adversary) είναι κάποιος που μπορεί αυθαίρετα να παρεκκλίνει από τις προδιαγραφές του πρωτοκόλλου. Στα ασφαλή πρωτόκολλα, μπορεί μόνο επηρεάσει τους διεφθαρμένους παίκτες ώστε να αρνηθούν να συμμετέχουν στο πρωτόκολλο ή να μεταβάλουν το input τους ή να αποχωρήσουν από το πρωτόκολλο προτού αυτό ολοκληρωθεί. Ορισμός 2.4. Ο ιδανικός υπολογισμός (ideal computation) ενός πρωτοκόλλου περιλαμβάνει μία έμπιστη αρχή (trusted party) στην οποία στέλνουν τις εισόδους τους οι παίκτες, υπολογίζει την functionality και επιστρέφει σε κάθε παίκτη την αντίστοιχη έξοδο.

12 Έστω f μια n-αδική functionality και Π ένα multi-party πρωτόκολλο που υπολογίζει την f, τότε λέμε ότι το Π είναι ένα πρωτόκολλο για τον information-theoretic t- ασφαλή υπολογισμό της f με abort και partial fairness, αν για κάθε non-uniform αντίπαλο A για το πραγματικό μοντέλο, υπάρχει ένας non-uniform πιθανοτικός αντίπαλος S για το ιδανικό μοντέλο τέτοιος ώστε για κάθε I {1, 2,, n} με I < t: s {IDEAL (a) f,i,s(z)(x)} k N,x ({0,1} k n ),z {0,1} {REAL Π,I,Α(z) (x)} k N,x ({0,1} k n ),z {0,1}

13 P 3 P 2 P 1 P 4 P 5 P 6 P 7 P 8 TRUSTED PARTY

14 x 3 x 2 x 1 x 4 x 5 x 6 x 7 x 8 TRUSTED PARTY

15 x 3 x 2 x 1 x 4 x 5 x 6 x 7 x 8 TRUSTED PARTY x = (x 1, x 2,, x n )

16 f 1 (x ) TRUSTED PARTY f(x )= (f 1 (x 1 ), f 2 (x 2 ),, f n (x n ))

17 f 3 (x ) f 2 (x ) f 1 (x ) f 4 (x ) f 5 (x ) f 6 (x ) f 7 (x ) f 8 (x ) TRUSTED PARTY f(x )= (f 1 (x 1 ), f 2 (x 2 ),, f n (x n ))

18 J f 3 (x ) f 1 (x ) f 4 (x ) Ι f 5 (x ) f 6 (x ) f 8 (x ) TRUSTED PARTY f(x )= (f 1 (x 1 ), f 2 (x 2 ),, f n (x n )), J

19 Π t-ασφαλές broadcast μοντέλο unanimous abort οποιοδήποτε επίπεδο fairness protocol compiler Π t-ασφαλές point-to-point μοντέλο abort no fairness

20 Αν o ειλικρινής παίκτης P 1 λάβει την έξοδό του, πρέπει όλοι οι ειλικρινείς παίκτες να λάβουν τις δικές τους, όμως αν το broadcast χρησιμοποιείται στο υπόλοιπο του πρωτοκόλλου, τότε ο αντίπαλος θα έχει τη δυνατότητα να διαταράξει την επικοινωνία και να εμποδίσει όλους τους άλλους ειλικρινείς παίκτες να λάβουν την έξοδό τους.

21

22 Θεώρημα 2 Για κάθε πιθανοτική, πολυωνυμικού χρόνου, n-αδική functionality f υπάρχει ένα πρωτόκολλο στο point-to-point μοντέλο για τον computational t-secure υπολογισμό της f με abort και partial fairness, για κάθε t. Επιπλέον, υπάρχει ένα πρωτόκολλο στο point-to-point μοντέλο για τον information-theoretic n/2-secure υπολογισμό της f με abort και partial fairness.

23

24 ΕΥΧΑΡΙΣΤΟΥΜΕ ΓΙΑ ΤΗΝ ΠΡΟΣΟΧΗ ΣΑΣ