CARMIT HAZAY

INTRODUCTION
TO
CRYPTOGRAPHY
LESSON 6
‫‪SYNTAX OF MESSAGE AUTHENTICATION‬‬
‫‪CODES‬‬
‫שני שחקנים המעוניינים לאמת את התקשורת שלהם חולקים מפתח סודי ‪.k‬‬
‫כשאחד השחקנים מעוניין לשלוח הודעה ‪ ,m‬הוא מחשב ‪( tag‬תג) ‪ t‬כפונקציה של‬
‫‪ m‬ו‪ .k-‬ושולח את ‪ m‬ו‪ t-‬לשחקן השני‪ .‬השחקן השני מריץ אלגוריתם וידוא לאימות‬
‫התג‪.‬‬
MESSAGE AUTHENTICATION CODES
SECURE MESSAGE AUTHENTICATION CODES
‫‪STRONG MESSAGE AUTHENTICATION CODES‬‬

‫נדרוש שהיריב לא יכול לזייף תג חדש גם על הודעה שנשאלה בעבר‪ ,‬כלומר שליריב יש ‪ ‬‬
‫תג עבורה‬
‫פורמלית‪ ,‬זיוף (‪ )m,t‬נחשב תקף אם ‪ Vrfy(m,t) = 1‬וגם (‪Q )m,t‬‬

‫סכמות דטרמיניסטיות מקיימות את הדרישה על פי הגדרה‬

MESSAGE AUTHENTICATION CODES
‫‪MESSAGE AUTHENTICATION CODES‬‬

‫משפט ‪ :4.4‬אם ‪ F‬היא פונקציה פסאודואקראית‪ ,‬אזי בניה ‪ 4.3‬הינה ‪ mac‬עבור‬

‫הודעות מאורך ‪ n‬המקיימת את הגדרה ‪.4.2‬‬
MESSAGE AUTHENTICATION CODES
MESSAGE AUTHENTICATION CODES
MESSAGE AUTHENTICATION CODES
DOMAIN EXTENSION FOR MACS
CCA SECURE ENCRYPTION SCHEME

‫מפתחות‬
‫בלתי‬
!‫תלויים‬
‫‪CCA SECURE ENCRYPTION SCHEME‬‬

‫כאשר ‪ ValidQuery‬הינו המאורע לפיו ‪ A‬מוציא הודעה מוצפנת (‪ )c,t‬חדשה לאורקל הפענוח‬
‫שלו‪ ,‬כך שמתקיים ש‪VrfyKM(c,t) = 1-‬‬
‫‪CCA SECURE ENCRYPTION SCHEME‬‬
‫טענה ראשונה‪ :‬ההסתברות למאורע ‪ ValidQuery‬הינה זניחה‪ .‬הוכחה ברדוקציה לבטיחות של‬
‫ה‪.mac-‬‬

‫טענה שניה‪ :‬קימת פונקציה זניחה כך ש‪-‬‬

‫הוכחה ברדוקציה לסכמת ההצפנה‪.‬‬