מתג ניתוק מול בידוד של Tor Browser: שתי בדיקות שונות
שגיאת אין צופן משותף שייכת לערוץ הבקרה TLS, לא ל-data-ciphers. השוו קודם גרסאות, אחר כך רשימות חבילות צופן, ולבסוף הוכיחו את המשא ומתן.
מתגי ניתוק ומודלים של זהות בדפדפן מתבלבלים כי שניהם מתוארים כתכונות פרטיות. האחד חוסם תעבורה בשכבת הרשת, והשני מגביל מה שסשן גלישה יכול לקשר יחד. מעבר בדיקה של הראשון אינו אומר דבר על השני, ועמוד שנטען בתוך Tor Browser אינו אומר דבר על הראשון. ההחלטה היא איזו בקרה עונה על איזו שאלה, כי הבחירה הזו קובעת אילו ראיות נחשבות.
שתי בקרות בשני גבולות
מתג ניתוק הוא כלל לגבי מסלולים: כשהמנהרה אינה פעילה, תעבורה שהייתה אחרת נוקטת נתיב אחר נזרקת. ההיקף שלו הוא מה שהמימוש מכסה, שיכול להיות המערכת כולה, יישום אחד או רק משפחות הכתובות שהלקוח מנהל. בידוד הדפדפן עוסק במה שאתר יכול להבחין לגבי מבקר לאורך סשן: קובצי cookie, מצב שנשמר במטמון, טביעות אצבע, כניסות. אף אחד מהמנגנונים אינו יכול להחליף את האחר, כי הם פועלים על עצמים שונים לגמרי.
לכן מכונה יכולה לעבור בדיקת מתג ניתוק מושלמת, ועדיין להדליף זהות דרך כניסה. ההיפך קורה באותה תדירות: דפדפן מבודד היטב במארח שהטלמטריה שלו נוקטת נתיב שהמדיניות מעולם לא כיסתה.
סיווג שניהם תחת תווית אחת הוא מה שמייצר ראיות גרועות, כי אז מעבר בצד אחד עומד במקום הצמד. החזיקו אותם בעמודות נפרדות מההתחלה. כותרת העמודה גם אומרת לכם איזה חפץ הבדיקה חייבת לכם: מנות חסומות או רשומת סשן.
ריצת ההפסקה עונה על שאלה צרה יותר
הפסקה מבוקרת מראה אם הלקוח חוסם את התעבורה שבדקתם, בפלטפורמה שבדקתם, כל עוד הבדיקה נמשכה. כללו את משפחות הכתובות, היישומים ומעברי הרשת שהדרישה מזכירה, כי כל אחד הוא טענה נפרדת. חסימה שמחזיקה ב-IPv4 ולא ב-IPv6 היא ממצא אמיתי, וכך גם חסימה שמחזיקה ברשת קווית אך לא במעבר נייד. כתבו את ההיקף לצד התוצאה, כי מעבר ללא סייג הוא הדרך שבה בדיקה צרה הופכת להנחה רחבה.
הבקרה השלילית חשובה כמו החיובית. אשרו שאותה בקשה מצליחה כשהמנהרה פעילה, כדי שיהיה ברור שהחסימה באה מהמדיניות ולא מיעד שמעולם לא עבד. בדיקה שנכשלה בשני המצבים אינה מוכיחה דבר, וכדאי לומר זאת ברשומה במקום לזרוק אותה בשקט.
בידוד הוא תכונה של הדפדפן, לא מסלול
העיצוב המוצהר של Tor Browser מגביל קישוריות בכך שהוא מחזיק יחד את מצב המעגל והדפדפן ומנקה מצב לפי בקשה, והפרויקט מתעד מה זה אומר בפועל עבור ניהול זהויות. העיצוב הזה מניח את התצורה הנתמכת, לא דפדפן גנרי שמצביע על פורט פרוקסי. תוספים שנוספו לנוחות יכולים לבטל חלק מהבידוד, וכניסה שנלכדה מקשרת את כל מה שאחריה ללא תלות במעגל. ההתנהגות המתועדת קצרה מספיק כדי לקרוא אותה ישירות.
תצפיות דפדפן ותצפיות רשת עונות על שאלות שונות, אז החזיקו אותן בהערות נפרדות. עמוד שנטען דרך Tor כשהשכבה הפרטית פעילה אומר לכם שהפרוקסי עובד ושום דבר על התנהגות ההשלכה שלו. מנה חסומה בזמן הפסקה אינה אומרת דבר על האם שתי כניסות היו ניתנות לקישור שעה קודם.
שתי רשומות, שתי שאלות
לגבי מתג הניתוק, שאלו אם יישום בשם יכול לצאת בנתיב לא רצוי בזמן כשל, והביאו הפסקה מבוקרת עם יעד רישום שבבעלותכם. לגבי בידוד הדפדפן, שאלו אילו חשבונות, מצב ואותות יכולים לקשר שתי פעילויות, והביאו זרימת עבודה במקום לכידת מנות. אם יישום שני חשוב, בדקו אותו בנפרד, כי ההיקף הוא לפי יישום לעתים קרובות יותר ממה שספקים מרמזים. שתי שאלות שונות מייצרות שני חפצים שונים ודוח אחד כן.
ציירו את שני הנתיבים לפני הבדיקה: הנתיב הרגיל והנתיב לאחר כשל מנהרה, לכל יישום בהיקף. ציור חושף את הפער שמחוון ירוק אחד מסתיר, כי הוא מכריח אתכם לנקוב במה מכוסה ומה לא. עשו זאת כשהמערכות בריאות, כשאף אחד לא נמצא בלחץ להכריז שהבדיקה הסתיימה.
אף אחת מהבקרות אינה מאשרת את האחרת, ותצורה משולבת זקוקה לשתי הרשומות לפני שהיא יכולה לטעון לשתי התכונות. לטעון לשתיהן ממחוון ירוק אחד הוא בדיוק הכשל שהצימוד הזה נועד למנוע.