Lembaga penelitian nasional Australia Data61 telah mengembangkan kernel yang unhackable bernama seL4 dan terbukti tidak dapat dihack. Kernel melakukan cara kerja dengan memisahkan sistem yang critical dan data dari kernel.
Saat ini, ancaman serangan cyber tidak hanya terbatas pada komputer dan smartphone. Dengan intrusi yang terus meningkat dari komputer dan elektronik dalam kehidupan sehari-hari, mulai dari sistem otomatisasi untuk mobil, semuanya telah menjadi target hacker.
Hal ini juga bisa menciptakan masalah di medan perang dimana perangkat lunak memainkan peran penting dalam sistem militer dan intelijen. Baru-baru ini, dalam latihan DARPA, hacker diberi akses lengkap ke komputer dari sebuah helikopter Boeing Little Bird - tetapi mereka tidak dapat mengganggu sistem dari helikopter. Bagaimana hal ini bisa terjadi? Nah, komputer di helikopter ini menggunakan sistem operasi baru, didasarkan pada kernel unhackable.
Kernel adalah jantung dari sistem operasi setiap komputer dan jika hacker dapat mengaksesnya, mereka dapat melakukan beberapa kerusakan yang tidak dapat diperbaiki pada sistem . Di sini, saya sedang berbicara tentang situasi yang sangat berbahaya dimana keamanan sistem pembangkit listrik, SCADA, alat pacu jantung, kendaraan, senjata dll bisa dikompromikan. Lembaga penelitian nasional Australia Data61 telah mengembangkan kernel unhackable bernama seL4 - dan terbukti secara matematis.
SeL4 kernel unhackable dilengkapi dengan beberapa karakteristik yang sangat aman. Hanya bisa melakukan perintah sesuai rancangandan kode tidak dapat diubah tanpa hak akses. Sepanjang baris kode, memori dan data tidak dapat dibaca tanpa hak akses. Fakta lain yang menarik: Versi awal dari seL4, yang dikenal sebagai OKL4, dapat ditemukan dalam jutaan smartphone.
SeL4 kernel unhackable bekerja dengan cara mengisolasi data dan kernel. Hal ini juga bisa digunakan untuk menjalankan dua sistem operasi secara bersamaan untuk menghentikan hacking.
SeL4 kernel unhackable juga bisa digunakan dalam beberapa perangkat seperti peralatan medis, pabrik, mobil, satelit dan banyak lagi.
Video berikut ini untuk mengetahui tentang dasar-dasar kernel:
No comments:
Post a Comment