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.