Protocoles non-interactifs de preuve à divulgation nulle de connaissance (NIZK) pour la sécurité des systèmes distribués / Mouhamed FALL (2026) 

Public ISBD Titre : Protocoles non-interactifs de preuve à divulgation nulle de connaissance (NIZK) pour la sécurité des systèmes distribués Type de document : texte imprimé Auteurs : Mouhamed FALL, Auteur Editeur : Université Cheikh Anta Diop de Dakar : Faculté des Sciences et Techniques : Département de Mathématiques-Informatique Année de publication : 2026 Importance : 1vol.(106p.) Présentation : 30cm. Format : PDF Langues : Français (fre) Mots-clés : Réseau  Sécurité des systèmes distribués  Protocole de Schnorr  Transformation de Fiat-Shamir  Implémentation Python  Application web  Attaque  Simulation. Résumé : Ce mémoire étudie les protocoles de preuve à divulgation nulle de connais-sance non-interactifs (NIZK) et leur application à la sécurité des systèmes distribués. Ces protocoles permettent à une entité de prouver qu'elle possède un secret sans jamais le révéler, et sans nécessiter d'échange direct avec le véri˝cateur  une propriété fondamentale dans les réseaux où la communi-cation est limitée ou non ˝able. Après avoir établi les bases mathématiques et cryptographiques nécessaires, le protocole de Schnorr est analysé puis trans-formé en preuve non-interactive via la transformation de FiatShamir. Les constructions avancées telles que les zk-SNARKs sont également présentées. Une implémentation complète est réalisée en Python et déployée sous forme d'application web, permettant de simuler des scénarios d'attaque réels  rejeu de preuve, usurpation d'identité, tentative de forge et véri˝cation dis-tribuée mu Permalink : https://bibliothequefst.ucad.sn/index.php?lvl=notice_display&id=3741 Protocoles non-interactifs de preuve à divulgation nulle de connaissance (NIZK) pour la sécurité des systèmes distribués [texte imprimé] / Mouhamed FALL, Auteur . - Université Cheikh Anta Diop de Dakar : Faculté des Sciences et Techniques : Département de Mathématiques-Informatique, 2026 . - 1vol.(106p.) : 30cm. ; PDF. Langues : Français (fre) Mots-clés : Réseau  Sécurité des systèmes distribués  Protocole de Schnorr  Transformation de Fiat-Shamir  Implémentation Python  Application web  Attaque  Simulation. Résumé : Ce mémoire étudie les protocoles de preuve à divulgation nulle de connais-sance non-interactifs (NIZK) et leur application à la sécurité des systèmes distribués. Ces protocoles permettent à une entité de prouver qu'elle possède un secret sans jamais le révéler, et sans nécessiter d'échange direct avec le véri˝cateur  une propriété fondamentale dans les réseaux où la communi-cation est limitée ou non ˝able. Après avoir établi les bases mathématiques et cryptographiques nécessaires, le protocole de Schnorr est analysé puis trans-formé en preuve non-interactive via la transformation de FiatShamir. Les constructions avancées telles que les zk-SNARKs sont également présentées. Une implémentation complète est réalisée en Python et déployée sous forme d'application web, permettant de simuler des scénarios d'attaque réels  rejeu de preuve, usurpation d'identité, tentative de forge et véri˝cation dis-tribuée mu Permalink : https://bibliothequefst.ucad.sn/index.php?lvl=notice_display&id=3741

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11960	MEM 11960	Mémoires de master	Master mathématiques et Informatique	Transmission de données et sécurité de l'information	Disponible

Documents numériques

MEM 11960 Adobe Acrobat PDF

---

1 (1 - 1 / 1) Par page : 25 50 100 200