Langsung ke konten

Arsip

Integritas File

3 artikel
Keamanan Siber 04 Oct 2026 5 min read

fs-verity Memverifikasi File Read-Only Saat Data Dibaca

fs-verity Memverifikasi File Read-Only Saat Data Dibaca Hash file biasa sering diperiksa sebelum sebuah file dipercaya. fs-verity pada Linux memindahkan sebagian pekerjaan integritas tersebut ke filesystem. Setelah verity diaktifkan pada regular file di filesystem yang mendukungnya, file menjadi read-only dan data diperiksa terhadap Merkle tree yang tersimpan ketika data dibaca. Batas mekanisme ini sengaja dibuat sempit. fs-verity dapat mendeteksi data yang tidak lagi cocok dengan digest yang diterapkan pada verity file. Autentikasi digest terhadap identitas tepercaya atau kebijakan rilis merupakan keputusan terpisah. Pemisahan tersebut menjaga primitive integritas agar tidak dianggap sebagai kebijakan trust perangkat lunak yang lengkap.

Keamanan Siber 19 Sep 2026 7 min read

fs-verity Mengikat Pembacaan File Read-Only ke Digest Merkle Tree

Sebuah file dapat disimpan pada media yang tingkat kepercayaannya lebih rendah daripada proses yang mengonsumsinya. Menjadikan file tersebut read-only melalui permission bit biasa tidak membuktikan bahwa byte yang kemudian dikembalikan dari storage sama dengan byte yang sebelumnya disetujui. Linux fs-verity menangani batas integritas yang lebih sempit ini pada filesystem yang didukung dengan mengikat pembacaan file yang telah diaktifkan ke Merkle tree dan digest file yang stabil. Mekanisme ini memiliki dua peran keamanan yang berbeda. Kernel memverifikasi data file terhadap Merkle tree saat data dibaca. Kebijakan terpisah harus menetapkan bahwa digest fs-verity yang dihasilkan memang digest yang dimaksudkan untuk dipercaya oleh sistem. Menganggap kedua peran tersebut sebagai satu jaminan akan melebihkan properti yang diberikan fitur filesystem ini.

Keamanan Siber 18 Sep 2026 6 min read

fs-verity Mengikat Pembacaan File pada Digest Merkle Tree

Package manager dapat menempatkan executable pada filesystem yang writable, menutupnya, lalu mengharapkan setiap byte yang dibaca kemudian tetap sama dengan objek yang sebelumnya disetujui. Permission biasa dapat menghentikan penulis yang tunduk pada kebijakan, tetapi tidak mengubah isi file menjadi objek dengan identitas kriptografis. Linux fs-verity menyediakan properti yang lebih sempit untuk file individual: setelah verity diaktifkan, data file menjadi read-only dan pembacaan diperiksa terhadap Merkle tree yang berakar pada digest file yang stabil.