Az ausztrál mikrokernel kőbe vési a biztonságot

Egy ausztrál tervezésű mikrokernelt bocsátottak ki, amely garantálja a szoftver biztonságot.

Titka a formális metódusok matematikai tétele, amely megbizonyosodik arról, hogy a SeL4 mikrokernel mindig pontosan úgy települ, ahogyan azt specifikálták. Az elképzelést a Carnegie Mellon University definiálta, mint egy technikát, amelynek segítségével komplex rendszerek matematikai entitásként kezelhetők. Mindez lehetővé teszi, hogy egy rendszer tulajdonságainak ellenőrzése sokkal mélyrehatóbb módon történjék, mint az empirikus tesztelés során.

A mikrokernel létrehozása egy lendületes csapást mér a világ vezető operációs rendszereire (Microsoft Windows, Linux, Apple), amelyet a SeL4 vezető tervezője, Dr. Gerwin Klein a következőképpen látja.

“Mindenütt észlelhető, a magas szintű Linuxtól a Windowsig, teljesen egyformák — valamilyen téren túl nagyra nőttek”.

“Elfelejtették, hogy milyen célt szolgáltak az operációs rendszerek; hátrahagyták a múltjukat.”

http://www.zdnet.com.au/aussie-microkernel-sets-security-in-stone-339308818.htm
http://ertos.nicta.com.au/software/seL4/home.pyl

Címkék

Aussie mikrokernel


Legfrissebb sérülékenységek
CVE-2024-53104 – Linux Kernel sérülékenysége
CVE-2014-3931 – Multi-Router Looking Glass (MRLG) Buffer Overflow sérülékenysége
CVE-2016-10033 – PHPMailer Command Injection sérülékenysége
CVE-2019-5418 – Rails Ruby on Rails Path Traversal sérülékenysége
CVE-2019-9621 – Synacor Zimbra Collaboration Suite (ZCS) Server-Side Request Forgery (SSRF) sérülékenysége
CVE-2016-4484 – Linux sérülékenység
CVE-2025-32463 – Linux sérülékenység
CVE-2025-32462 – Linux sérülékenység
CVE-2025-6463 – Wordpress sérülékenység
CVE-2024-51978 – Brother sérülékenység
Tovább a sérülékenységekhez »