Solusi pengujian mendukung keamanan dalam desain IoT

Meningkatnya ancaman intrusi infrastruktur siber dari aktor yang bermusuhan mengarah pada penciptaan mekanisme pengujian keamanan baru untuk perangkat lunak dan perangkat keras IoT.

Meningkatnya ancaman intrusi infrastruktur siber dari aktor yang bermusuhan mengarah pada penciptaan mekanisme pengujian keamanan baru untuk perangkat lunak dan perangkat keras Internet of Things (IoT). Itu akan memungkinkan pengembang sistem tertanam untuk mematuhi pedoman baru yang diterbitkan oleh Gedung Putih di tengah serangan cyber tingkat tinggi baru-baru ini.

Di bagian depan perangkat lunak, tes keamanan aplikasi baru secara matematis menjamin kode bebas bug dalam desain yang disematkan. Teknik analisis kode sumber otomatis yang diluncurkan oleh perusahaan perangkat lunak keamanan siber TrustInSoft menggunakan metode formal untuk mempercepat proses pengujian dengan menghasilkan kembaran matematis dari kode sumber C/C++ dan dengan demikian membuktikan tidak adanya bug kode sumber untuk input apa pun (Gambar 1).

Gambar 1:Penganalisis mengotomatiskan metode formal untuk memberikan tampilan sintetis dari bug kode sumber. Sumber:TrustInSoft

Metode analisis statis dan dinamis tradisional memperlambat penyebaran desain IoT karena pengujian direplikasi untuk setiap proses. Pengujian IoT tertanam yang baru, berdasarkan alat Analyzer TrustInSoft, menggunakan metode formal untuk menyediakan analisis statis dan dinamis yang setara dengan kode sumber C/C++ dan dengan demikian menjamin tidak adanya perilaku kode sumber yang tidak ditentukan.

TrustInSoft mengklaim bahwa alat uji baru ini mengurangi waktu peluncuran perangkat IoT hingga 40x dan waktu verifikasi kode hingga 4x. Menurut Fabrice Derepas, pendiri dan CEO TrustInSoft, bug yang ditemukan setelah rilis produk dapat menelan biaya hingga 640 kali lipat dibandingkan saat ditemukan selama fase pengembangan. “Hidup tidak pernah bebas dari kesalahan, tetapi kode sumber Anda bisa.”

Di bagian depan perangkat keras, Arm menawarkan chip uji IoT dan papan pengembangan yang memungkinkan pengembang untuk mengevaluasi kredensial keamanan dalam desain yang disematkan (Gambar 2). Arm telah merilis chip uji dan papan pengembangan Musca-S1 IoT bekerja sama dengan Samsung Foundry, Cadence, dan perusahaan layanan desain IC Sondrel.

Gambar 2:Platform uji keamanan tertanam Musca-S1 memberikan lebih banyak pilihan bagi perancang chip IoT. Sumber:Lengan

Solusi pengujian IoT didasarkan pada chip MagnetoResistive Random Access Memory (eMRAM) yang tertanam pada 28-nm. Ini menawarkan keunggulan dibandingkan teknologi memori flash tertanam (eFlash) tradisional dengan skala di bawah teknologi proses 40 nm.

Solusi pengujian perangkat keras dan perangkat lunak di atas memungkinkan pengembang IoT untuk membuat prototipe desain mereka untuk keamanan menyeluruh dan membawa perangkat IoT ke pasar dengan cepat sambil mematuhi pedoman keamanan siber yang penting.

>> Artikel ini awalnya diterbitkan di situs saudara kami, EDN .