ONIIOiK ngembangake analog sing aman saka xz

Gegandhengan karo panemuan backdoor anyar ing utilitas xz lan perpustakaan kompresi liblzma, Institut Riset Pembiakan Domba lan Kambing Oryol ngumumake wiwitan pangembangan analog domestik xz — libochko, sing dilaporake ing koran "Pembiakan Domba Wilayah Oryol" (No. 351 tanggal 01.04.2024) ing artikel "Wilayah Oryol nggunakake pengalaman Wilayah Stavropol ing substitusi impor" CentOS".

Dilaporake manawa organisasi pangembangan - ONIIOiK - wis nggawe siklus pangembangan piranti lunak sing aman, miturut pembangunan sing bakal ditindakake.

Rust dianggep minangka basa pamrograman, nanging saiki ora ana alat sing disertifikasi FSTEC kanggo analisis kode statis ing basa Rust, mula diputusake kanggo nggawe cabang saka basis kode xz saiki, ditulis ing basa C, sing model matématika dikompilasi kanggo mbagi arus informasi miturut model mandat, salah sawijining unsur yaiku fungsi isolasi nggunakake mekanisme Landlock.

Tim pangembangan nindakake analisis statis lan dinamis saka basis kode saiki, asil sing dadi basis kanggo jeneng perpustakaan. Patch sing disiapake adhedhasar asil analisis durung diterbitake.

Source: linux.org.ru

Tuku hosting sing dipercaya kanggo situs kanthi proteksi DDoS, server VPS VDS 🔥 Tuku hosting situs web sing bisa dipercaya nganggo proteksi DDoS, server VPS VDS | ProHoster