הצגת המקור של הדף "התקפת גלוי-נבחר"

ב[[קריפטואנליזה]], '''התקפת גלוי-נבחר''' או '''תְּקִיפַת תַּמְלִיל פָּשׁוּט נִבְחָר'''{{הערה|{{מילון אקדמיה|200|80490_1|תְּקִיפַת תַּמְלִיל פָּשׁוּט נִבְחָר}}}} (באנגלית: Chosen-plaintext attack{{הערה|Katz, Jonathan; Lindell, Yehuda (2007). [https://www.amazon.com/Introduction-Modern-Cryptography-Principles-Protocols/dp/1584885513 Introduction to Modern Cryptography: Principles and Protocols.] Chapman and Hall/CRC.}}) היא [[מודל התקפה]] נגד מערכת [[הצפנה]] שמניח כי ליריב היכולת להשיג תוצאות הצפנה של טקסטים גלויים כלשהם, לפי בחירתו, שהוצפנו באמצעות [[אלגוריתם]] ההצפנה המותקף. מטרת ההתקפה היא להשיג באמצעותם מידע כלשהו על האלגוריתם כמו חשיפת חלק ממפתח הצפנה או כולו ובכך לרופף את ביטחונו או להביא לשבירתו המוחלטת.

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

במערכת הצפנת [[מפתח ציבורי]] היכולת של המתקיף לקבל תוצאות הצפנה של כל טקסט גלוי שיחפוץ היא טריוויאלית, כיוון שמערכת כזו במהותה מאפשרת לכל אחד להשיג את מפתח ההצפנה הציבורי. לכן במקרה כזה אורקל ההצפנה מיותר.

==מודל כללי==
התקפת גלוי-נבחר מתחלקת לשני סוגים:
*התקפת גלוי-נבחר המסומנת '''IND-CPA 1''' - קיצור של Indistinguishability Chosen Plaintext Attack. היא סוג של התקפה שבה מניחים שהמתקיף יכול לבחור כל טקסט מקור שהוא מעוניין לקבל עבורו את הטקסט המוצפן המתאים. אך הוא יכול לראות את הטקסט המוצפן רק לאחר שסיים להגיש את כל השאילתות. מרגע שהוא רואה את הטקסט המוצפן, הוא אינו יכול להגיש בקשות נוספות.
*התקפת גלוי נבחר אדפטיבית המסומנת '''IND-CPA 2'''. היא התקפה חזקה יותר שבה המתקיף מסוגל להתאים את בקשותיו בהתאם לתוצאות קודמות, כלומר ביכולתו לבקש טקסט מוצפן גם לאחר שראה טקסט מוצפן שביקש קודם.

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

==התקפת גלוי-נבחר נגד מערכת הצפנה סימטרית==
התקפת גלוי-נבחר הכללית מתוארת באמצעות ניסוי המתנהל בין המתקיף לאורקל הצפנה היפותטי. 
# תחילה אורקל ההצפנה בוחר מפתח הצפנה אקראי סודי <math>k</math>. 
# המתקיף <math>\mathcal{A}</math> בוחר ושולח לאורקל זוג טקסטים גלויים <math>(m_0,m_1)</math>. 
# אורקל ההצפנה בתורו מטיל מטבע, ולפי התוצאה <math>b\in \{0,1\}</math> הוא מבצע הצפנה של אחד משני המסרים שקיבל: <math>c=\text{Enc}_k(m_b)</math> ומחזיר את <math>c</math> (האתגר) למתקיף.
# המתקיף <math>\mathcal{A}</math> שיש לו גישה לאורקל ההצפנה רשאי לבקש ממנו הצפנות נוספות כלשהן, הוא בודק את המידע שקיבל ומחזיר את הסיבית <math>b'</math>.
# תוצאת הניסוי היא 1 כלומר מוכרזת כמוצלחת אם <math>b=b'</math> או אפס המייצג כישלון במקרה ש-<math>b\ne b'</math>.

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

אם תוצאת הניסוי או הניסויים היא 1 המשמעות היא שאלגוריתם ההצפנה נפרץ, כי כעת עלה בידי המתקיף להבחין בין הצפנה של טקסטים שונים. חשוב להדגיש שאין מדובר כאן בהגדרה תאורטית בלבד, אלא לעובדה זו השלכות מעשיות ולא מומלץ כלל להשתמש באלגוריתם הצפנה דטרמיניסטי מפני כמה סיבות. לא רק שבמקרה כזה למתקיף קל לזהות הצפנה חוזרת של מסרים זהים עם אותו מפתח, אלא שהוא יכול אפילו לפענח את הטקסט המוצפן בהסתברות גבוהה, אם במקרה טווח המסרים האפשריים קטן. לצורך המחשה, אם נניח שפרופסור באוניברסיטה מצפין את הציונים של הסטודנטים שלו עם [[RSA]], עם מפתח הצפנה גדול. היות שטווח הציונים הוא <math>\{A,B,C,D,E,F\}</math> המתקיף יכול פשוט להצפין עם המפתח הציבורי של הפרופסור את כל הציונים האפשריים, להכין טבלה של ציונים מוצפנים ואז להשוות את הציונים בפועל של הסטודנטים עם ציונים המוצפנים בטבלה.

===ביטחון מערכת סימטרית נגד התקפת גלוי-נבחר===
באופן פורמלי מערכת הצפנה סימטרית אקראית <math>\Pi=(\text{Gen},\text{Enc},\text{Dec})</math> תוגדר בלתי ניתנת להבחנה (indistinguishable) או [[ביטחון סמנטי|בטוחה סמנטית]] תחת מודל התקפת גלוי-נבחר אם עבור כל מתקיף פולינומי <math>\mathcal{A}</math> קיימת [[פונקציה זניחה|פונקציית זניחות]] <math>\text{negl}(n)</math> עבור פרמטר הביטחון <math>n</math> המייצג את אורך הקלט כך שמתקיים:
:<math>\Pr[\text{Priv}^{\text{cpa}}_{\mathcal{A},\Pi}(n)=1]\le\frac{1}{2}+\text{negl}(n)</math>,

פירוש הביטוי הוא שסיכוייו של המתקיף <math>\mathcal{A}</math> לשבור את <math>\Pi</math> תחת מודל התקפת גלוי נבחר אינם עולים על חצי יותר משיעור שנקבע על ידי פונקציית הזניחות שמשמעה שהיתרון של המתקיף שולי ביחס ל-<math>n</math>. יש לציין שאם <math>\Pi</math> הייתה [[אלגוריתם דטרמיניסטי|דטרמיניסטית]] התכונה האמורה לא הייתה מתקיימת, כיוון שבמקרה כזה קל מאוד למתקיף לדעת האם ההצפנה היא של <math>m_0</math> או <math>m_1</math>, הוא יכול פשוט לשלוח את שניהם ולרשום את התוצאות, כי הרי בכל הצפנה של [[קלט]] זהה התוצאה תהיה תמיד זהה. לעומת זאת תכונת אי-יכולת הבחנה תקפה כאשר אלגוריתם ההצפנה הסתברותי. כלומר בכל הצפנה גם אם הקלט זהה תתקבל תוצאה שונה בגלל אקראיות ההצפנה. המסקנה היא שאלגוריתם הצפנה דטרמיניסטי אינו יכול להיות בטוח תחת מודל התקפת גלוי-נבחר.

===ביטחון מערכת א-סימטרית נגד התקפת-גלוי-נבחר===
מערכת הצפנת מפתח ציבורי <math>\Pi=(\text{Gen},\text{Enc},\text{Dec})</math> נקראת בטוחה סמנטית או בעלת אי-יכולת הבחנה תחת מודל התקפת גלוי-נבחר (בקיצור CPA) אם עבור כל אלגוריתם פולינומי הסתברותי <math>\mathcal{A}</math> ופונקציית זניחות <math>\text{negl}(n)</math> מתקיים:

:<math>\Pr[\text{PubK}^{\text{cpa}}_{\mathcal{A},\Pi}(n)=1]\le\frac{1}{2}+\text{negl}(n)</math>

ההגדרה דומה לזו של צופן סימטרי למעט העובדה שהמתקיף מקבל בנוסף את מפתח ההצפנה הציבורי. גם כאן ההצפנה חייבת להיות הסתברותית כי לא קיימת מערכת הצפנה דטרמיניסטית בטוחה סמנטית וכן במקרה זה אורקל ההצפנה אינו נחוץ למתקיף <math>\mathcal{A}</math> היות שהוא יכול להצפין כל מסר בעצמו באמצעות המפתח הציבורי. לכן, עצם העובדה שמערכת הצפנה א-סימטרית בטוחה נגד יריב פאסיבי מלמדת בהכרח שהיא בטוחה גם נגד התקפת גלוי-נבחר. הבדל נוסף הוא שבניגוד למערכת הצפנה סימטרית לא ניתן להגיע בשום אופן למערכת הצפנה א-סימטרית בעלת [[סודיות מושלמת|ביטחון מושלם]] ואין זה משנה כמה ארוכים המפתחות או כמה המסר קצר.

==התקפות מעשיות==
דוגמה קלאסית להתקפת גלוי נבחר היא סיפור שהתרחש ב[[מלחמת העולם השנייה]]. במאי 1942 חשדו מפצחי הקודים של [[הצי האמריקאי]] ש[[יפן|היפנים]] מתכננים פלישה ל[[אטול מידוויי]] בצפון [[האוקיינוס השקט]]. הם יירטו שדר שהכיל בין היתר את הטקסט המוצפן "AF" והאמינו שהוא קוד המתייחס לאי "מידוויי" אך כדי לשכנע את הגנרלים בטענה הם ביצעו את הטריק הבא, הם ביקשו מהחיילים האמריקאים המוצבים באי לשדר בקשה להספקת מים וכאשר החיילים היפנים יירטו את התשדורת האמריקאית הם מיהרו לדווח לממונים עליהם. למותר לציין שהתשדורת המוצפנת של היפנים הכילה את הקוד AF ובכך ניתנה ההוכחה, מה שהוביל את הכוחות האמריקאים לשגר שלוש [[נושאת מטוסים|נושאות מטוסים]] לאזור, האי ניצל והיפנים ספגו אבדות רבות. יש אומרים שאירוע זה היה לנקודת מפנה במלחמה של ארצות הברית נגד יפן באוקיינוס השקט.

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

===התקפת גלוי-נבחר נגד צפנים מודרניים===
צופן [[DES]] היה במשך שנים מטרה להתקפות קריפוטואנליטיות תאורטיות ומעשיות, בראשן [[קריפטואנליזה דיפרנציאלית|הקריפטואנליזה הדיפרנציאלית]] שמסתמכת על כמות נכבדה של זוגות טקסטים גלויים וטקסטים מוצפנים המתאימים להם (בערך <math>2^{47}</math>). אפשר לבצע את ההתקפה עם פחות טקסטים נבחרים אולם [[סיבוכיות זמן|סיבוכיותה]] עולה בהתאם. הקריפטואנליזה הדיפרנציאלית היא התקפת גלוי-נבחר במהותה כיוון שמתקיף צריך להכין תחילה מאגר של טקסטים קריאים בעלי דיפרנציאל מסוים, אותם הוא צריך להצפין ומתוכם הוא אמור לבחור טקסטים מסוימים. אף על פי ש-DES גילה עמידות גבוהה נגד התקפה זו, צפנים אחרים 
כמו [[FEAL]] ,[[Khafre]] ,[[REDOC-II]] ,[[LOKI]] ו[[לוציפר (צופן)|לוציפר]] פוצחו לגמרי בשיטה זו.

==ראו גם==
* [[ביטחון סמנטי]]
* [[התקפת מוצפן-נבחר]]
* [[חשילות (קריפטוגרפיה)|חשילות]]

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}

{{קריפטוגרפיה|קריפטואנליזה}}
[[קטגוריה:קריפטוגרפיה]]
[[קטגוריה:תקיפות קריפטוגרפיות]]