הצפנה קובעת אילו מפתחות פותחים את ההודעה; צריך לבדוק בנפרד למי הגיעו המפתחות האלה.
לא: הצפנה מקצה לקצה של קבוצה אינה מונעת כשלעצמה חבר נסתר. התשובה לשאלה „האם השרת יכול להוסיף חבר לקבוצה?” תלויה במנגנון החברות ובאימות החברים, ולא רק בהצפנת ההודעות. לפי תיעוד Livara, LGS1 מצפין תוכן בקבוצות פרטיות תואמות שפועלות בפועל במצב E2EE. החלפת מפתחות בעקבות שינוי בהרכב מיועדת להגביל גישה עתידית, ומחייבת שהמכשירים יחילו את עדכוני החברות והמפתחות; היא אינה מחזירה עותקים שכבר התקבלו.
נקודות מרכזיות
- הצפנה מקצה לקצה נועדה לשמור על סודיות ההודעות, אבל אבטחת רשימת החברים דורשת מנגנון נפרד.
- בקבוצה פרטית תואמת של Livara שמצב ה-E2EE שלה אומת, LGS1 מכסה הודעות, עריכות ומפתחות קבצים מצורפים; אין להחיל טענה זו על קבוצה ישנה שאינה תואמת.
- לא די להשוות את Signal, WhatsApp, SimpleX ו-Element לפי התווית „מוצפן”: צריך לבחון גם הודעות על שינויי חברות, את תפקיד המנהל ואת שיטת אימות הזהות.
- הממשק אינו יכול לזהות בכל מצב כניסה של חשבון מורשה הנשלט בידי תוקף. על החברים לבדוק זהות ושינויים רגישים בדרך עצמאית.
- Proof Lab של Livara מציג הדגמות מקומיות של P-256, HKDF ו-AES-GCM ובדיקת גיבוב קבצים; הוא אינו מימוש מלא או ביקורת עצמאית של LVR1/LGS1.
האם הצפנת קבוצה מונעת חבר נסתר?
לא, אלא אם הפרוטוקול מסנכרן בין החברים גם את מצב החברות, ולא רק את התוכן, באופן קריפטוגרפי שניתן לבדוק. „חבר נסתר” במאמר זה הוא חשבון שיש לו גישה להודעות עתידיות, בעוד המשתתפים האנושיים לא הבחינו בהצטרפותו או לא זיהו נכון את זהותו.
הצפנה מקצה לקצה פירושה שרק מכשירי הצדדים לשיחה אמורים להיות מסוגלים לקרוא את תוכן ההודעה. אולם אותם מכשירים צריכים לדעת למי הם שולחים מפתחות. אם השרת יכול לשנות את רשימת הנמענים, ההצפנה יכולה לעבוד כראוי ובכל זאת להצפין הודעה גם לחבר לא רצוי. כדי להבחין בין תוכן למטא-נתונים, ראו את המדריך להצפנה מקצה לקצה ולגבולותיה.
לכן „מתקפת שרת על קבוצה מוצפנת” אינה בהכרח שבירת AES או פתרון בעיה מתמטית. השרת עשוי לשלוט בחברות ולהוסיף חשבון תקף לנמענים העתידיים. היסטוריית הודעות שהמפתחות שלהן לא היו בידי החשבון היא עניין נפרד; הסיכון העיקרי הוא גישה לאחר ההצטרפות.
מה ידוע על חברות בקבוצות Livara?
תיעוד האבטחה של Livara מפריד בין שליטת השרת בחברות ובתפקידים לבין הצפנת התוכן. זהו גבול חשוב להערכה, אך הוא אינו מוכיח לבדו מתקפה מעשית מוצלחת או כניסה בלתי נראית לחלוטין. כדי לטעון זאת צריך לבדוק את התנהגות הלקוח, הפצת המפתחות, ההודעות על שינויי חברות ותנאי המתקפה.
השאלה הנכונה היא: האם המכשירים מאמתים שינויי רשימה באופן עצמאי, ומה הם מציגים למשתמש לפני שליחת מפתח לחבר חדש? מאמר זה אינו מציג תוצאות ביקורת או בדיקת חדירה של Livara.
כיצד שונה אבטחת רשימת החברים בחמישה יישומי מסרים?
ההבדל המרכזי הוא מי מאשר שינויי חברות, כיצד החברים מקבלים עליהם הודעה והאם הם יכולים לאמת באופן עצמאי את זהות החשבון החדש. עצם קיומה של הצפנה מקצה לקצה אינו תשובה מלאה לשאלת האמון בשרת של יישום מסרים.
| יישום | תוכן הקבוצה | חברות ואמון בפועל | מסקנה זהירה |
|---|---|---|---|
| Livara | בקבוצה פרטית תואמת עם E2EE, LGS1 מכסה טקסט, עריכות ומפתחות קבצים מצורפים. | מפתחות השולחים נוצרים ומופצים מחדש באופן אוטומטי בעקבות שינוי בחברים. | לפי תיעוד המוצר, תוכן קבוצה פרטית תואמת ומפתחות המדיה מוגנים לפני המסירה; יש לבדוק את מצב הקבוצה המסוימת. |
| Signal | תמיכת Signal בנושא קבוצות אומרת שהשירות אינו מתעד את החברות, הכותרת, התמונה ומאפייני הקבוצה. | אותו מקור אומר שהמנהל יכול לקבוע מי מוסיף חברים ולהפעיל אישור מנהל לקישור הקבוצה; החברים עדיין צריכים לשים לב לשינויי חברות. | התכנון מגביל את ידיעת השירות, אך המשתמשים צריכים לבדוק שינויי חברות וזהויות חשבונות. |
| סקירת ההצפנה של WhatsApp אומרת שהודעות אישיות וקבוצתיות מוצפנות מקצה לקצה. | מרכז העזרה של WhatsApp מתאר שיתוף אופציונלי של חלק מההיסטוריה עם חבר חדש ואת סמכות המנהל להגביל אותו. | תוכן הקבוצה מוצפן, אבל יש להעריך את תקינות החברות באמצעות בקרות המנהל והתראות היישום. | |
| SimpleX | תיעוד הקבוצות של SimpleX אומר שלכל חבר יש חיבורים נפרדים לחברים האחרים. | מפרט הפרוטוקול מתאר קבוצות כאוסף קשרים בין חברים עם תפקידים והודעות שינוי חברות; אין בכך סתירה לקיומו של מנהל אנושי. | קבוצה ללא מזהה גלובלי אינה מבטלת את כל סיכוני החברות או המכשירים הנגועים. |
| Element / Matrix | מפרט ההצפנה מקצה לקצה של Matrix מגדיר את האירוע m.room.encryption ואת אלגוריתמי הצפנת החדר. |
מפרט החברות של Matrix ממדל חברות באמצעות אירועי m.room.member במצב החדר, המופצים בידי שרתי הבית. |
הצפנת החדר ומצב החברות הם שכבות נפרדות; החברים צריכים לבדוק מכשירים ושינויים בחדר. |
הטבלה אינה דירוג מוחלט. לכל מערכת מודל איומים שונה, והיישום, המכשיר, ניהול הקבוצה והתנהגות החברים עשויים לשנות את התוצאה. לבחירה מעשית, השתמשו ב-12 השאלות ברשימת הבדיקה ליישום מסרים מאובטח יחד עם התיעוד הרשמי של כל מוצר.
כיצד משווים את האמון בשרת של יישום מסרים?
אל תצמצמו אמון לתווית כן או לא; שאלו בדיוק מה השרת רואה ומה הוא מסוגל לשנות. שרת שאינו קורא טקסט עדיין עשוי לשלוט בזמני התקשורת, בחברי הקבוצה או בהפצת המפתחות הראשונית.
ראשית, הפרידו את סודיות התוכן
בדקו היכן בדיוק מוצפנים הודעה, עריכה, תגובה, כותרת, קובץ מצורף והמפתח שלו. לפי תיעוד Livara, LGS1 מכסה טקסט, עריכות ומפתחות קבצים מצורפים בקבוצה פרטית תואמת עם E2EE; טענה זו אינה כוללת ערוצים.
שנית, זהו את סמכות החברות
בררו מי רשאי להזמין חברים, מי מאשר בקשות וכיצד הלקוח מציג את השינוי. אם השרת כופה את מצב הקבוצה, יש לכלול במפורש במודל האיומים אפשרות של השתלטות עליו.
שלישית, הפרידו בין זהות לחברות
שם מוכר אינו מוכיח שהמפתח שייך לאותו אדם. ב-Livara, safety number מאפשר להשוות טביעת אצבע של מפתח מחוץ ליישום; עצם קיום הכלי אינו אומר שכל רשימת החברים נבדקת. גם תכונת שקיפות מפתחות יש לייחס למוצר רק אם היא מתועדת.
רביעית, הפרידו ראיות מטענות
תיעוד מוצר, דוח ביקורת ובדיקה עצמאית אינם אותו דבר. דוח אמין צריך להבהיר גרסה, היקף, ממצאים ותיקונים. שם אלגוריתם או התאמה בין שני מימושים אינם מוכיחים כשלעצמם אבטחה של ניהול החברות.
כיצד מאמתים חברים בצ'אט קבוצתי?
החברים צריכים לבדוק מיד שינויים ברשימה ולאמת את זהותם של אנשים רגישים בערוץ עצמאי. בשיחה בסיכון גבוה לא די לראות שם, תמונה או מספר חשבון: סימנים אלה יכולים להיות שגויים, ממוחזרים או בשליטת תוקף.
ב-Livara שני אנשים יכולים להשוות safety number פנים אל פנים, בשיחה מוכרת או בדרך עצמאית. הדבר עשוי לחשוף שינוי מפתח בלתי צפוי, אך השוואה בין שני אנשים אינה מכסה כשלעצמה את כל חברי קבוצה גדולה בבת אחת. המדריך לאימות צ'אט באמצעות safety number מסביר את הצעדים המעשיים.
לקבוצות רגישות מועיל הנוהל הקצר הבא:
- הגבילו ככל האפשר את הרשאת הוספת החברים למנהלים.
- בדקו מיד כל התראה על הצטרפות, עזיבה או שינוי תפקיד.
- אמתו את זהות החבר החדש מחוץ לאותה קבוצה.
- לאחר שינוי חשוד, הפסיקו לשלוח מידע רגיש וצרו קבוצה חדשה עם חברים שנבדקו.
- בדקו מדי פעם את המכשירים וההפעלות המקושרים לכל חשבון.
הצעדים מפחיתים סיכון, אך אינם מתקנים פגם בארכיטקטורת החברות. אם השרת או חשבון המנהל נפרצו והממשק אינו מציג היטב את השינוי, המשתמש עדיין עלול לא להבחין בהצטרפות.
שאלות נפוצות
האם שרת יכול להוסיף חבר בלי לשבור את ההצפנה?
כן, אם ארכיטקטורת יישום המסרים מוסרת לשרת את השליטה ברשימת החברים. במקרה כזה אין צורך לשבור את הצופן: השרת יכול להוסיף חשבון לנמענים העתידיים כך שהלקוחות יצפינו הודעות גם עבורו. האפשרות ואופן הפעולה תלויים בפרוטוקול החברות של כל מוצר.
כיצד פועל LGS1 בקבוצות Livara?
לפי תיעוד המוצר, בקבוצות פרטיות תואמות עם E2EE, LGS1 משתמש בשרשרת מפתחות ובחתימות שולח כדי להגן על התוכן ועל מפתחות הקבצים המצורפים. הגבלת גישה עתידית לאחר עזיבת חבר תלויה בהחלת שינוי החברות ובהפצת מפתח חדש. Proof Lab מספק רק הדגמות מקומיות של כמה רכיבים קריפטוגרפיים ובדיקת גיבוב; הוא אינו מימוש מלא של LGS1, ביקורת פרוטוקול או הוכחה לאבטחת ניהול החברות.
האם השוואת safety number מוכיחה שחבר נסתר נכנס?
לא. ההשוואה בודקת את זהות המפתח בין שני אנשים בדרך עצמאית ויכולה לחשוף שינוי מפתח בלתי צפוי. אבל היא אינה מוכיחה שאף חבר אחר לא הצטרף; על החברים לבדוק בנפרד גם את הרשימה, התראות החברות וזהותם של חשבונות רגישים.
לאיזה יישום מסרים יש רשימת חברים מאובטחת ביותר?
אי אפשר לקבוע מנצח מוחלט מהמקורות האלה, כי ל-Signal, WhatsApp, SimpleX, Element ו-Livara מודלים שונים של חברות ואיומים. הבחירה הנכונה תלויה בסיכון שלכם: בדקו מי שולט בחברות, כיצד נמסרות הודעות על שינויים והאם אפשר לאמת את זהות החברים מחוץ לשרת.
