חתימה דיגיטלית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שימוש מושכל בפרמטרים ימין ושמאל בתבנית:הערה (תג) |
מ ←הגדרה מתמטית: ניסוח |
||
שורה 14:
==הגדרה מתמטית==
חתימה דיגיטלית מורכבת משלושה אלגוריתמים: אלגוריתם הכנה "Gen", אלגוריתם חתימה "Sign" ואלגוריתם אימות "Verify" המוגדרים
*אלגוריתם הכנת המפתחות מקבל פרמטר ביטחון <math>n</math> ומפיק זוג מפתחות (<math>pk,sk</math>) הראשון נקרא מפתח ציבורי והשני מפתח פרטי. שניהם באורך <math>n</math> סיביות.
*אלגוריתם החתימה (שיכול להיות [[אלגוריתם הסתברותי|הסתברותי]]) מקבל כקלט את מפתח החתימה <math>sk</math> ואת המסר <math>m\in\{0,1\}^*</math> ומפיק את החתימה <math>\sigma</math> בניסוח רשמי <math>\sigma=\text{Sign}_{sk}(m)</math>.
שורה 29:
===ביטחון===
בהינתן מפתח ציבורי <math>pk</math>,
:ניסוי <math>\boldsymbol{\mathbb{Forge}_{\mathcal{A},\Pi}(n)}</math>
#פונקציית ההכנה <math>\text{Gen}(1^n)</math> מייצרת מפתחות (<math>sk,pk</math>) באורך <math>n</math>.
|