התקפת קורלציה

בקריפטואנליזה, התקפת קורלציה (correlation attack) היא התקפה קריפטוגרפית נגד צופן זרם שהוצעה לראשונה על ידי תומאס זיגנתאלר (Thomas Siegenthaler) ב-1985. היא המתאימה לכל צופן שהמחולל הפנימי שלו מורכב מאוגרי זיזה ממושבים (LFSR). זוהי התקפת כוח גס סטטיסטית בסגנון הפרד ומשול המתמקדת בשחזור המצב הראשוני (initial state) של האוגרים. ההתקפה בדרך כלל מתבצעת לפי מודל התקפת גלוי-ידוע, אם קיים בידי התוקף מידע מוקדם לגבי חלק מסיביות זרם המפתח. אך אפשרית גם אם לא קיים כל מידע מוקדם, בתנאי שקיימת יתירות כלשהי במסר הגלוי שהוצפן.
ההתקפה המקורית כפי שהוצגה על ידי זיגנתאלר ישימה בעיקר כנגד צופן זרם בסגנון 'מחולל משולב' הפועל באופן כזה שהסיבית הבאה של זרם המפתח היא תוצאה של פונקציית שילוב (combining function) המקבלת כקלט מספר סיביות מתוך פוזיציות מסוימות של  אוגרי LFSR שאורכיהם שונים  בהתאמה, משלבת אותן באופן לא ליניארי כלשהו ומחזירה סיבית אחת. אם מצליחה, ההתקפה מאפשרת שחזור מלא של שלב האתחול של המחולל בסיבוכיות של  ניסיונות בניגוד לסיבוכיות  הצפויה בחיפוש ממצה.
באופן כללי התקפת קורלציה אפשרית ברגע שמוצאים מתאם כלשהו בין זרם המפתח  והרצף  של אוטומט סופי שהמצב ההתחלתי שלו תלוי בחלק מסיביות זרם המפתח. את סיביות המפתח אפשר לחשוף על ידי שחזור המצב ההתחלתי של , כל עוד אפשר לזהות 'תלות סטטיסטית' אשר יכולה לשמש סימן שהרצף עשוי להיות חלק מפלט המחולל. חיפוש ממצה בר ביצוע על ידי שבוחרים שוב ושוב רצפים אפשריים כלשהם ובודקים אם מידת הקורלציה בין הרצף  לבין  גבוהה מערך סף מסוים שהוא פונקציה של טווח השגיאה האפשרי. אם נמצא רצף מתאים אפשר לשחזר את המצב ההתחלתי של המחולל ומכאן לשחזר כל קטע מזרם המפתח. בהתאמות קלות ההתקפה ישימה כנגד סוגים רבים של צופן זרם כמו צופן זרם שבנוי בסגנון 'מסנן' (filter generator).

רמת מתאם

התקפת קורלציה מנצלת את העובדה שקיימת תלות סטטיסטית כלשהי בין זרם המפתח הנוצר מהמחולל לבין פלט אוגר יחיד כלשהו הכלול במחולל. ברמה של סיביות תלות כזו מתרחשת רק אם יש מתאם בין פלט פונקציית השילוב  של המחולל לאחד מהקלטים  שלה, שהוא פלט אחד האוגרים. כלומר עבור כל  ההסתברות
 
עבור  (כל האוגרים הכלולים במחולל). או לחלופין אם זרם המפתח נקרא  אזי אומרים שקיים מתאם בין רצף חלקי באורך  של זרם המפתח המסומן  לבין רצף חלקי  הנוצר מאחד האוגרים שבמחולל. רמת המתאם בין שני הרצפים  נמדדת על ידי פונקציה המחושבת על  סיביות

והיא משתנה מקרי ממשי בעל התפלגות בינומית עם תוחלת  ושונות  (כאשר  גדול). אפשר להשוות את ההתפלגות לרמת המתאם הצפויה בין הרצף  לבין רצף אקראי  בלתי תלוי. כאשר הרצף הוא אקראי בלתי תלוי ב- ההתפלגות בינומית עם תוחלת צפויה אפס ועם שונות . רמת המתאם היא כלי יעיל המאפשר לתוקף להפעיל התקפת כוח גס ישירה בחיפוש אחר המצב הראשוני הנכון של אוגר נתון. ניתן להבחין בין מצב התחלתי נכון למצב התחלתי שגוי, משום שמצפים מערך התחלתי שגוי שיהיה בלתי תלוי סטטיסטית בזרם המפתח, כל תלות סטטיסטית שתמצא תאשש שהמצב ההתחלתי אכן נכון. בפועל ערך כלשהו יתקבל כמצב התחלתי נכון אם רמת המתאם עולה על סף מסוים המחושב בהתבסס על ההסתברות של שתי שגיאות אפשריות, האחת נקראת false alarm והיא מסומנת  והשנייה נקראת הסתברות לאי-הבחנה . האורך  שהוא כמות הסיביות המינימלית הדרושה להתקפה, נקבע לפי ההסתברות  לעיל והאורכים של האוגרים  בהתאמה. ההתקפה דורשת בערך:

סיביות מפתח. כך שבממוצע מתבצעים  ניסיונות. בכל מקרה ההתקפה אפשרית רק אם ההסתברות  שונה מחצי. לסיכום ההתקפה מתוארת בפסאודו קוד הבא:

חסינות מתאם

כדי למנוע התקפת קולרציה צריך לבחור פונקציית שילוב עם תכונה שנקראת 'חסינת-מתאם' (correlation immunity) מ'סדר ראשון' (להלן), כלומר שאין מתאם כלשהו בין פלט הפונקציה לאף אחד מהקלטים שלה. כך שהמפתח בלתי תלוי סטטיסטית בפלט של אוגר כלשהו מהאוגרים הכלולים במחולל וכן כל קלט יכול להיות אפשרי במידה שווה. באופן כללי יותר, התקפת קורלציה סימולטנית על  אוגרים מתוך  צריכה לבדוק את רמת המתאם בין זרם המפתח  לבין הרצף  שהוא קומבינציה של  האוגרים באמצעות פונקציה בוליאנית  של  משתנים. היות שמתקיים
 
כאשר  מייצגת את כל האוגרים ואילו  את  האוגרים הנבדקים לעומתם. ההתקפה יכולה להצליח רק אם . מספר האוגרים המינימלי הדרוש כדי שהתקפה סימולטנית כזו תיתכן היא  כאשר  הוא הסדר הגבוה ביותר של חסינות המתאם של הפונקציה הבוליאנית. פונקציה בוליאנית של  משתנים המספקת את הקירוב הטוב ביותר של  היא פונקציה אפינית . התקפת קורלציה היעילה ביותר היא כזו שמוצאת קורלציה בין  לבין המחרוזת  אותה מחשבים על ידי חיבור הפלט של תת-קבוצה  של אוגרים  והיא מתאימה להסתברות:

כאשר  הוא מספר המשתנים של פונקציית השילוב,  הוא וקטור של  סיביות שמרכיב ה- שלו הוא '1' רק אם  והפונקציה  מייצגת טרנספורמציית וואלש של  (נקראת גם התמרת פורייה בדידה) אותה מחשבים על ידי . המסקנה שכדי להעלות את סיבוכיות התקפת הקורלציה רצוי שפונקציית השילוב של המחולל תהיה מסדר גבוה של 'חסינות-מתאם' וכן אי-ליניאריות גבוהה. או במילים אחרות שהפונקציה  תהיה נמוכה מעל כל הווקטורים  עם משקל בינארי נמוך.

סדר חסינות

סדר  של חסינות מתאם פירושו 'מקסימום קורלציה' בין פלט פונקציה בוליאנית  עם  משתנים לבין תת-קבוצה שלה  של  משתנים. מקסימום קורלציה מחושבת על ידי  כאשר  היא פונקציה בוליאנית של  המשתנים  כאשר . הסימן  פירושו קבוצת כל הווקטורים הבינאריים  באורך  מעל השדה .