טענות VPN פוסט-קוונטי: איזו פעולה באמת השתנתה?

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

מפתחות הפעלה, זהות עמית, הגנת תעבורה: בחרו אחת

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

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

מה שני התקנים מגדירים ומה לא

התקנים קובעים את אוצר המילים, והם קובעים גם כמה מעט שם מוכיח. ML-KEM, שתוקנן כ-FIPS 203, הוא מנגנון עטיפת מפתחות: שני צדדים גוזרים סוד משותף בערוץ ציבורי כשעדיין אין להם כזה. ML-DSA, שתוקנן כ-FIPS 204, הוא סכימת חתימה, שעונה על שאלת הזהות ולא על שאלת ביסוס המפתחות.

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

היברידי הוא תכנון, אז בקשו את התכנון

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

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

הוכחה שפריסה באמת יכולה לספק

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

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

החלקים שטענת לחיצת יד לעולם אינה מכסה

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

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