PENGGUNAAN MODEL CHECKING UNTUK VALIDASI DAN VERIFIKASI POLICY STATEMENT PADA LEMARI PENYIMPANAN BUKTI DIGITAL (LPBD)
Abstract
Lemari Penyimpanan Bukti Digital harus dilengkapi dengan access control karena bukti
digital sangat rentan mengalami kerusakan. Access control sendiri memiliki beberapa model,
salah satunya yaitu ABAC. ABAC merupakan salah satu model dari access control yang
baru. Model ABAC mempunyai fungsi yang fleksibel dan memungkinkan bersinggungan
dengan banyak sekali attribute. Ini akan menjadi sangat kompleks dan dapat menimbulkan
munculnya inconsistency dan incompleteness. Implementasi dari ABAC ini harus didukung
oleh kebijakan policy yang tepat dan tervalidasi dengan baik agar keamanan dalam LPBD
berjalan dengan baik. Model pengujian dalam penelitian ini yaitu model checking. Model
checking ini bersifat memeriksa elemen-elemen di dalam sistem sehingga jika terdapat error
maka akan mudah diketahui. Sedangkan tool untuk validasi policy statement terdapat
beraneka ragam salah satunya yaitu ACPT (Acess Control Policy Testing). ACPT
mempunyai berbagai metode untuk membuat dan menguji policy statement. Pengujian ini
dilakukan menggunakan 3 metode dan setiap metode pengujian dilakukan sebanyak 30 kali.
Penelitian ini tidak menemukan inconsistency dan incompleteness. Policy statement tersebut
berjalan sesuai dengan rule yang telah dibuat sebelumnya.