הכחשה סבירה וכספות שמופרדות בתבניות

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

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

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

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

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

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

כיצד זה עובד מאחורי הקלעים

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

תבניות שונות, מפתחות שונים

כשאתה מצייר תבנית, Vaultaire מקודד את רצף הנקודות ואת גודל הרשת, ואז מריץ 600,000 סבבים של PBKDF2-HMAC-SHA512 עם salt אקראי ייחודי למכשיר שנשמר ב-Keychain. הפלט הוא מפתח כספת של 256 ביט. תבנית שונה אמורה להפיק מפתח לא קשור, אבל אבטחת פרטי הגישה עדיין מוגבלת בכמה קל לנחש את התבנית. פלט של 256 ביט לא נותן לתבנית אנושית 256 ביט של אנטרופיה.

כל מפתח פותח את האינדקס שלו

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

אין קטלוג גלוי של כל הכספות

Vaultaire לא שומר טבלה גלויה למשתמש שממפה תבניות לשמות כספות קריאים. תהליך הפתיחה הרגיל מגיע לאינדקס אחד דרך המפתח שנגזר. עם זאת, בדיסק, קובצי השורש `vault_index_.bin` נמצאים במאגר שמרופד ברצועות של 64 עם קובצי כיסוי אקראיים, הדפים וה-arenas של כל הכספות נמצאים בתיקיית אחסון משותפת אחת עם שמות אקראיים, כך ששמות הקבצים לא מראים לאיזו כספת שייך כל קובץ. טביעות האצבע לא חושפות את התבניות שמהן נגזרו. קובצי arena של כיסוי שומרים את מספר ה-arenas על רצועה, אבל כל כספת שמכילה קבצים משתמשת לפחות ב-arena אחת, כך שממספר ה-arenas, מזמני הקבצים ומהנפח הכולל בודק עדיין יכול להעריך כמה כספות מכילות קבצים.

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

אסטרטגיית כספת הפיתיון

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

הגדרת הפיתיון

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

הפיכתה לשכנעת

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

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

תחת לחץ

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

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

מדוע זה ניתן להוכחה מתמטית

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

תוכן מוצפן נשאר חסוי

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

אפשר להעריך את מספר הכספות, אבל אין מפת תבניות גלויה

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

אפשר לאמת ניחושים במצב לא מקוון

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

מה המצב הריק משיג

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

מי צריך הכחשה סבירה

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

עיתונאים ומקורותיהם

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

פעילים ומארגנים

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

אנשים במצבי התעללות

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

מטיילים החוצים גבולות

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

כל מי שמעריך פרטיות

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

כיצד זה משתווה לאפליקציות כספת אחרות

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

בעיית הכספת האחת

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

מצבי פיתיון קוסמטיים

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

הגישה של Vaultaire שונה ארכיטקטוראלית

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

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