Αποδείξεις Μηδενικής Γνώσης

• Κύριοι συγγραφείς: Pagourtzis, Aristeidis, Zachos, Efstathios, Παγουρτζής, Αριστείδης, Ζάχος, Ευστάθιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΚΡΥΠΤΟΓΡΑΦΙΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ; ΣΥΜΜΕΤΡΙΚΗ ΚΡΥΠΤΟΓΡΑΦΙΑ; ΚΡΥΠΤΟΓΡΑΦΙΑ ΔΗΜΟΣΙΟΥ ΚΛΕΙΔΙΟΥ; ΚΡΥΠΤΟΓΡΑΦΙΚΑ ΠΡΩΤΟΚΟΛΛΑ; ΑΣΦΑΛΕΙΑ ΠΛΗΡΟΦΟΡΙΩΝ; ΑΣΦΑΛΕΙΑ ΔΙΚΤΥΩΝ; Cryptography; Computational Complexity; Computational Number Theory; Symmetric Cryptography; Public Key Cryptography; Cryptographic Protocols; Information Security; Network Security

Διαλογικά συστήματα αποδείξεων. Ιδιότητες: πληρότητα (completeness), ορθότητα (soundness), <br/>μηδενική γνώση (zero knowledge). Σχέση με NP-πληρότητα.<br/>Παραλλαγές ιδιοτήτων: special soundness, Honest Verifier Zero Knowledge. <br/>Παραδείγματα: πρωτόκολλo Schnorr, πρωτόκολλo Chaum Pedersen<br/>Εφαρμογές: πρωτόκολλα αυθεντικοποίησης / ταυτοποίησης, malleable cryptography.<br/>Σ-πρωτόκολλα, σύνθεση Σ-πρωτόκολλων (AND, OR). <br/>Απόκρυψη μαρτύρων (witness hiding), witness indistinguishable proofs.<br/>Μετατροπή σε μη διαλογικές αποδείξεις.