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 penyimpanan Vaultaire saat ini memungkinkan pemeriksa dengan akses kontainer aplikasi memperkirakan jumlah brankas, sehingga tidak memberikan jaminan tersebut.
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 jumlah arena penyimpanan masih membatasi berapa brankas yang berisi file.
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 masih memungkinkan perkiraan jumlah brankas. Vaultaire menyimpan satu file akar vault_index_<locator>.bin per brankas, dalam kumpulan 64 file atau lebih bersama file pengecoh. Halaman dan arena penyimpanan dari semua brankas berada di satu folder bersama dengan nama acak. Nama-nama itu tidak mengungkapkan pola, nama brankas, atau brankas pemilik file, tetapi seseorang dengan akses wadah aplikasi masih dapat memperkirakan berapa brankas yang berisi file, karena jumlah arena membatasinya. 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. File akar berada dalam kumpulan bersama file pengecoh, dan arena pengecoh menjaga jumlah arena dalam satu rentang, tetapi jumlah arena, jumlah halaman katalog, waktu file, dan total penyimpanan masih mengekspos struktur.
Ada keadaan pemulihan dan paksaan. Vaultaire menyimpan informasi pemulihan dalam basis data Keychain yang dienkripsi AES-GCM. Modus paksaan menghapus indeks, halaman, dan arena penyimpanan brankas lain di perangkat ini (penghapusan file biasa, tanpa penimpaan), menghapus data pemulihan, dan mengisolasi perangkat tersebut dari sinkronisasi. Mode ini tidak menghapus cadangan cloud atau salinan pada perangkat rekan, 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. Format penyimpanan yang dirilis di versi 1.0.17 menyembunyikan file mana milik brankas mana, tetapi jumlah arena-nya masih memberi snapshot kontainer aplikasi offline batas atas jumlah brankas.
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. File akar vault_index_*.bin berada dalam kumpulan 64 file atau lebih bersama file pengecoh, dan halaman serta arena penyimpanan dari semua brankas berada di satu folder bersama dengan nama acak. Nama file tidak menunjukkan brankas pemilik file, tetapi jumlah arena membatasi berapa brankas yang berisi file, sehingga pemeriksa masih dapat memperkirakan berapa brankas yang Anda miliki. File-file tersebut tidak mengungkapkan nama brankas atau konten teks biasa. 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: pemeriksa masih dapat memperkirakan jumlah brankas lokal, 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 penyimpanannya saat ini masih memungkinkan pemeriksa dengan akses kontainer aplikasi memperkirakan jumlah brankas, sehingga tidak menyediakan properti kedua.
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 acak untuk rekaman data, 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 memungkinkan inspeksi kontainer aplikasi memperkirakan jumlah brankas. Perlakukan hal tersebut sebagai penyembunyian tingkat antarmuka yang didukung enkripsi terautentikasi, bukan sebagai bukti bahwa tidak ada brankas tambahan.