כספות נסתרות ללא רשימת כספות גלויה

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

מה המשמעות של "כספות מוסתרות"?

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

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

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

זה לא "תיקייה מוסתרת"

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

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

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

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

מה חושפת פריסת האחסון

גם ללא רשימת כספות, יריב חכם עשוי לנסות גישה שונה: ניתוח שימוש בדיסק. אם Vaultaire משתמשת ב-500 MB היום ו-800 MB מחר, אולי הוספת כספת. אם מחיקת תמונות מכספת אחת מקטינה את האחסון בדיוק ב-200 MB, אולי יש מתאם לנצל.

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

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

איפה Vaultaire משתמש בריפוד

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

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

עמידות פורנזית: מה קורה כשלוקחים את הטלפון שלך

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

מה כלים פורנזיים רואים

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

על מה ההצפנה עדיין מגינה

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

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

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

בממשק של Vaultaire, תבניות תקפות שונות יכולות לפתוח כספות אמיתיות שונות. אפשר לבחור תבנית אחת לחומר רגיש ותבנית אחרת לכספת פחות רגישה. מי שרואה רק את הממשק הפתוח לא יראה תווית שמסמנת כספת כ״אמיתית״ או כ״הטעיה״.

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

השרשרת המלאה

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

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

מדוע זה חשוב

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

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

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