Penyangkalan yang Masuk Akal dalam Aplikasi: Apa Itu dan Mengapa Penting
Penyangkalan yang masuk akal berarti keberadaan data tersembunyi tidak dapat dibuktikan.
Penyangkalan yang masuk akal dalam enkripsi adalah properti penyimpanan yang memungkinkan pengguna mengungkapkan satu kumpulan data tanpa meninggalkan artefak struktural yang membuktikan keberadaan kumpulan data lain. Klaim tersebut harus menyebutkan model ancamannya: gambar statis dari penyimpanan terenkripsi dengan padding yang tepat berbeda dengan perangkat aktif yang disusupi, metadata layanan cloud, atau salinan yang disimpan di tempat lain. Ini lebih dari sekadar fitur penyembunyian. Properti ini bergantung pada enkripsi, tata letak, padding, dan desain operasional yang bekerja sama.
Panduan ini menjelaskan cara kerja penyangkalan yang masuk akal dalam aplikasi, perbedaan antara penyangkalan kriptografi yang asli dan mode umpan kosmetik, skenario dunia nyata di mana hal ini penting, dan cara mengevaluasi klaim penyangkalan.
Apa Arti Penyangkalan yang Masuk Akal dalam Enkripsi
Dalam bahasa sehari-hari, penyangkalan yang masuk akal berarti Anda dapat menyangkal sesuatu secara kredibel. Dalam kriptografi penyimpanan, target yang berguna lebih sempit: pemeriksa penyimpanan terenkripsi tidak boleh membedakan konten tersembunyi dari ruang ber-padding yang tidak terpakai dalam model ancaman yang disebutkan. Tidak ada aplikasi yang dapat memperluas janji tersebut ke brankas yang sudah terbuka, masukan yang direkam, salinan eksternal, atau segala bentuk penyusupan perangkat.
Konsep ini berasal dari enkripsi disk. TrueCrypt (dan penerusnya VeraCrypt) memelopori volume tersembunyi: volume terenkripsi di dalam volume terenkripsi lain. Satu kata sandi mengungkapkan volume luar dengan file yang tidak berbahaya. Kata sandi berbeda mengungkapkan volume tersembunyi dalam dengan file sensitif. Pemeriksa forensik tidak dapat menentukan apakah volume tersembunyi ada karena ruang yang tidak digunakan di volume luar diisi dengan data acak yang tidak dapat dibedakan dari data terenkripsi.
Untuk aplikasi, penyangkalan yang masuk akal berarti berbagai kredensial (kata sandi, PIN, pola) membuka kumpulan data berbeda, dan tidak ada metadata, registry, tanda konfigurasi, atau artefak struktural yang mengungkapkan keberadaan kumpulan data tambahan.
Penyangkalan Asli vs. Mode Umpan Kosmetik
Ini adalah perbedaan kritis yang sebagian besar aplikasi salah tangani.
Mode Umpan Kosmetik (Bukan Penyangkalan Nyata)
Banyak aplikasi brankas menawarkan fitur "umpan" atau "PIN palsu". Anda mengatur PIN sekunder yang membuka ruang terpisah dengan foto berbeda. Masalahnya: aplikasi-aplikasi ini biasanya menyimpan tanda boolean, entri database, atau file konfigurasi yang menunjukkan bahwa mode umpan ada dan dikonfigurasi.
Pemeriksa forensik yang memahami aplikasi dapat menemukan tanda ini. Menemukan mode umpan yang dikonfigurasi membuktikan bahwa data tersembunyi ada. Penyangkalannya bersifat kosmetik — berhasil terhadap pengintai kasual tetapi gagal di bawah pemeriksaan forensik.
Tanda-tanda penyangkalan kosmetik:
- Aplikasi memiliki tombol "mode umpan" di pengaturan
- File konfigurasi menyimpan apakah mode umpan diaktifkan
- Tabel database mencantumkan ID brankas dengan indikator jenis (utama/umpan)
- Struktur penyimpanan aplikasi berubah saat mode umpan dinyalakan
- Menghapus dan menginstal ulang aplikasi mengungkapkan perilaku berbeda ketika mode umpan dikonfigurasi
Penyangkalan Kriptografi yang Asli
Penyangkalan asli adalah properti arsitektur, bukan tombol fitur. Penyimpanan terenkripsi harus dirancang sehingga:
Kredensial alternatif hanya mengungkapkan kumpulan datanya sendiri. Sistem tidak menyimpan tanda umpan terpisah yang mengidentifikasi satu kredensial sebagai kamuflase. Kredensial yang tidak valid bisa gagal, namun kegagalan tersebut tidak boleh mengungkapkan apakah ada kumpulan data yang dirahasiakan.
Tidak ada registry brankas. Aplikasi tidak dapat menghitung berapa banyak brankas yang ada. Tidak ada hitungan, tidak ada indeks, tidak ada daftar ID brankas. Pemeriksa forensik yang memeriksa penyimpanan aplikasi menemukan kumpulan data terenkripsi yang tidak dibedakan.
Tidak ada tanda konfigurasi yang mengungkapkan brankas tersembunyi. Tidak ada boolean, tidak ada entri database, tidak ada file preferensi yang menunjukkan apakah brankas tambahan ada.
Penyimpanan diisi. Total penyimpanan yang dikonsumsi tidak berubah berdasarkan jumlah brankas atau file. Tanpa pengisian, pemeriksa dapat memperkirakan jumlah brankas dari total ukuran data terenkripsi versus konten yang terlihat.
Data terenkripsi tidak dapat dibedakan dari kebisingan acak. Tidak ada batas file, tidak ada header, tidak ada penanda struktural yang mengungkapkan di mana data satu brankas berakhir dan yang lain dimulai.
| Properti | Umpan Kosmetik | Penyangkalan Asli |
|---|---|---|
| Data terpisah per kredensial | Ya | Ya |
| Tidak ada registry brankas | Tidak (database melacak brankas) | Ya |
| Tidak ada tanda konfigurasi | Tidak (tombol umpan disimpan) | Ya |
| Pengisian penyimpanan | Jarang | Ya |
| Menyembunyikan penyimpanan alternatif dalam gambar statis | Tidak | Ya, dalam model ancaman penyimpanan yang disebutkan |
| Arsitektur vs. fitur | Tombol fitur | Properti arsitektur |
Skenario Dunia Nyata di Mana Ini Penting
Penyangkalan yang masuk akal bukan kekhawatiran teoritis. Ini menangani situasi dunia nyata yang terdokumentasi dan berulang.
Penyeberangan Perbatasan
Di perbatasan, pemeriksa dapat memeriksa perangkat dan meminta kredensial. Jika suatu desain benar-benar menyediakan penyangkalan tingkat penyimpanan, satu kredensial dapat mengungkapkan kumpulan data yang tidak berbahaya sementara gambar statis tidak memiliki penanda struktural yang membedakan konten tersembunyi dari padding. Tata letak satu direktori penyimpanan per brankas Vaultaire saat ini tidak memberikan jaminan tersebut kepada pemeriksa dengan akses kontainer aplikasi.
Kekerasan Rumah Tangga dan Hubungan Koersif
Seseorang dalam hubungan yang kasar mungkin perlu menyimpan bukti (foto cedera, pesan mengancam, dokumen hukum) di perangkat yang dipantau pelaku kekerasan. Jika pelaku meminta melihat brankas, pengguna dapat membuka brankas dengan konten tidak sensitif. Tanpa penyangkalan yang asli, tanda "mode umpan" dalam konfigurasi aplikasi akan mengungkapkan keberadaan konten tersembunyi.
Pencurian Perangkat
Pencuri dengan keterampilan teknis mungkin mencoba mengekstrak data dari ponsel yang dicuri. Penyimpanan yang dapat disangkal dengan padding yang tepat bertujuan menyembunyikan berapa banyak kumpulan data yang menempati ruang penyimpanan, meskipun total alokasi, status perangkat, cadangan, dan jejak operasional masih termasuk dalam model ancaman. Vaultaire saat ini mengenkripsi konten tetapi memperlihatkan satu indeks lokal yang dapat dihitung per brankas yang dikonfigurasi.
Perlindungan Hukum dan Jurnalistik
Jurnalis yang melindungi sumber, pengacara yang melindungi file klien, dan aktivis dalam rezim otoriter menghadapi skenario di mana isi perangkat dapat dipaksa. Penyangkalan yang asli memberikan pembelaan yang kredibel terhadap penyitaan data.
Apa yang Diimplementasikan Vaultaire Saat Ini
Vaultaire mengimplementasikan akses yang dipisahkan pola dan antarmuka normal tanpa daftar brankas yang terlihat. Properti tersebut membantu selama penggunaan aplikasi biasa, tetapi tidak memenuhi setiap persyaratan dalam daftar periksa penyangkalan asli di atas.
Pola yang dikonfigurasi membuka brankas terenkripsi terpisah. PBKDF2 menurunkan kunci brankas dari pola dan salt tingkat perangkat. Kunci yang dikonfigurasi mengautentikasi indeks terenkripsinya dan membuka kunci master acak. Pola yang tidak dikonfigurasi menunjukkan status kosong, bukan pesan "pola salah".
Format lokal dapat dihitung. Vaultaire menyimpan satu direktori penyimpanan per brankas, dan file akar vault_index_<locator>.bin yang cocok. Locator tidak mengungkapkan pola atau nama brankas, tetapi seseorang dengan akses wadah aplikasi dapat menghitung brankas. Autentikasi AES-GCM dan nama file deterministik juga menyediakan pengujian offline untuk calon kunci brankas.
Penyimpanan lokal tidak berukuran konstan. Konten file dan metadata dienkripsi, dan potongan cadangan cloud menggunakan padding ukuran dan catatan umpan. Kontainer aplikasi lokal tidak menyediakan kumpulan tetap slot brankas nyata dan tiruan, sehingga total penyimpanan dan jumlah indeks dapat mengekspos struktur.
Ada keadaan pemulihan dan paksaan. Vaultaire menyimpan informasi pemulihan dalam basis data Keychain yang dienkripsi AES-GCM. Modus paksaan menghapus indeks lokal dan pemetaan pemulihan untuk brankas tanpa paksaan dan mengisolasi perangkat tersebut dari sinkronisasi. Mode ini tidak menghapus cadangan cloud, salinan pada perangkat rekan, atau setiap blob terenkripsi bersama, dan waktu penyelesaian bergantung pada pekerjaan lokal yang dilakukan.
Oleh karena itu Vaultaire menyediakan kompartementalisasi antarmuka dan penyimpanan terenkripsi, bukan bukti teori informasi bahwa tidak ada brankas tambahan. Katalog berkapasitas tetap di masa depan dengan slot nyata dan tiruan yang tidak dapat dibedakan akan diperlukan untuk menyembunyikan jumlah brankas lokal dari snapshot kontainer aplikasi offline.
Cara Mengevaluasi Klaim Penyangkalan
Ketika aplikasi mengklaim penyangkalan yang masuk akal, tanyakan:
- Apakah ada tombol "mode umpan"? Jika ya, itu kosmetik. Pemeriksa forensik dapat menemukan tombolnya.
- Apakah aplikasi memiliki daftar brankas atau database? Jika ya, keberadaan brankas dapat dibuktikan.
- Bisakah tebakan diverifikasi secara offline? Teks sandi terautentikasi dapat memvalidasi kunci kandidat tanpa hash kata sandi terpisah. Tanyakan batasan biaya menebak dan apakah tata letak penyimpanan menawarkan sidik jari kunci yang lebih murah.
- Apakah konsumsi penyimpanan berubah dengan jumlah brankas? Jika ya, analisis disk dapat memperkirakan jumlah brankas.
- Bisakah aplikasi menghitung brankas? Jika aplikasi dapat menunjukkan daftar brankas Anda, daftar itu ada di perangkat dan dapat ditemukan.
Pertanyaan yang Sering Diajukan
Apakah penyangkalan yang masuk akal legal?
Menggunakan enkripsi dengan penyangkalan yang masuk akal legal di sebagian besar negara demokrasi. Tidak ada undang-undang yang melarang memiliki data terenkripsi di perangkat Anda yang keberadaannya tidak dapat dibuktikan. Di beberapa yurisdiksi (Inggris di bawah RIPA, Australia di bawah Assistance and Access Act), otoritas dapat memaksa pengungkapan kunci enkripsi. Pertanyaan hukumnya adalah apakah memaksa pengungkapan kunci ke data yang keberadaannya tidak dapat dibuktikan dapat diterapkan. Ini tetap menjadi area hukum yang sedang berkembang.
Bisakah alat forensik mendeteksi penyangkalan yang masuk akal?
Pemeriksa yang memperoleh wadah aplikasi Vaultaire dapat mendeteksi penyimpanan terenkripsi dan menghitung direktori penyimpanan per brankasnya. File akar vault_index_*.bin berada dalam kumpulan 64 bersama file pengecoh, tetapi direktori menunjukkan mana yang nyata. File-file tersebut tidak mengungkapkan nama brankas atau konten teks biasa, namun hitungannya mengungkapkan jumlah indeks terenkripsi lokal. Oleh karena itu, desain saat ini menyembunyikan brankas dari navigasi normal, bukan dari setiap inspeksi penyimpanan forensik.
Apakah penyangkalan yang masuk akal bekerja melawan negara yang bertekad?
AES-256-GCM memberikan batas enkripsi konten yang kuat ketika kunci, nonce, dan implementasi baik. Enkripsi ini tidak membuat tata letak penyimpanan Vaultaire saat ini dapat disangkal di hadapan pemeriksa tingkat negara: jumlah indeks lokal tetap terlihat, dan kompromi langsung dapat menargetkan pola, kunci, pratinjau, atau ekspor saat brankas terbuka. Fitur saat ini memisahkan apa yang dibuka oleh pola berbeda di antarmuka; fitur ini tidak menjamin bahwa pemeriksa yang gigih tidak dapat membuktikan adanya indeks lokal tambahan.
Apa perbedaan antara penyangkalan yang masuk akal dan brankas tersembunyi?
Brankas tersembunyi adalah brankas yang tidak terlihat di antarmuka normal aplikasi. Penyangkalan kriptografis yang kuat adalah properti terpisah, yaitu data tersembunyi tidak dapat dibedakan dari penyimpanan ber-padding yang tidak digunakan. Vaultaire saat ini menyediakan properti pertama. Format satu direktori penyimpanan per brankasnya tidak menyediakan properti kedua terhadap pemeriksa dengan akses kontainer aplikasi.
Bisakah saya menggunakan penyangkalan yang masuk akal dengan cadangan cloud?
Vaultaire menulis manifes cadangan terenkripsi dan menambahkan potongan file terenkripsi ke basis data CloudKit pribadi pengguna. Nama rekaman acak, jenis rekaman seragam, padding potongan 10 MB, dan rekaman umpan mengurangi pengungkapan konten langsung. Jumlah rekaman, volume total, waktu, dan pola pembaruan tetap menjadi metadata layanan yang terlihat, sehingga pencadangan cloud tidak menciptakan penyimpanan berukuran konstan yang dapat disangkal secara teori informasi.
Kesimpulan
Penyangkalan penyimpanan yang kuat bertujuan untuk mencegah pemeriksa membedakan data tersembunyi dari ruang kosong yang diisi di penyimpanan terenkripsi statis. Sebagian besar aplikasi yang mengklaim fitur ini menawarkan mode umpan kosmetik dengan tanda konfigurasi yang dapat ditemukan. Memenuhi definisi yang lebih kuat memerlukan model ancaman yang tepat, tidak ada registri brankas yang dapat dihitung, tidak ada tanda konfigurasi yang dapat diungkapkan, padding yang stabil, dan catatan terenkripsi yang tidak mengungkapkan slot mana yang asli.
Vaultaire menggunakan pola yang dikonfigurasi untuk memisahkan brankas terenkripsi dan menjauhkan nama dan konten brankas dari antarmuka yang terkunci. Tata letak penyimpanannya saat ini masih memperlihatkan jumlah indeks terenkripsi ke inspeksi kontainer aplikasi. Perlakukan hal tersebut sebagai penyembunyian tingkat antarmuka yang didukung enkripsi terautentikasi, bukan sebagai bukti bahwa tidak ada brankas tambahan.