חתימה דיגיטלית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏אחסון וגיבוי: מחיקת ניסוח לא אינציקלופדי ובקשת מקור למידע הנותר.
שורה 22:
לצורך תקינות, עבור כל <math>n</math> ועבור כל זוג מפתחות תואם (<math>pk,sk</math>) שהוכנו באמצעות אלגוריתם ההכנה המתואר ועבור כל מסר <math>m</math> צריך תמיד להתקיים:
:<math>\text{Verify}_{pk}(m,\text{Sign}_{sk}(m))=1</math>.
אלגוריתם החתימה מגודר רק אם המסר <math>m</math> הוא באורך המתאים למשל אם הוא פונקציה של פרמטר הביטחון <math>n</math> אז החתימה תקפה רק אם <math>m</math> הוא באורך <math>\ell(n)</math> לכל היותר. במילים אחרות סכמת החתימה אינה מתאימה כ[אשרכאשר המסר אינו בגודל הרצוי.
 
שימוש בסכימת חתימה נעשה כך שהחותם <math>S</math> מפעיל את אלגוריתם ההכנה <math>\text{Gen}(1^n)</math> כדי לקבל את (<math>pk,sk</math>).{{ש}}