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-2023-38823 – Tenda AC18, Tenda AC6, tenda / ac19 firmware, tenda / ac6 firmware, Tenda AC18 Firmware 15.03.05.19(6318), Tenda AC9, tenda / ac19, Tenda AC9 Firmware 15.03.05.19(6318) sérülékenysége
cve-2023-36439 – Microsoft Exchange szerver sérülékenysége
CVE-2023-23368 – QNAP QTS sérülékenysége
CVE-2023-22518 – Confluence Data Center és Server sérülékenysége
CVE-2023-20273 – Cisco IOS XE Web UI jogosultság kiterjesztés sérülékenysége
CVE-2023-20198 – Cisco IOS XE Web UI sérülékenysége
CVE-2023-4966 – NetScaler ADC és NetScaler Gateway sérülékenysége
CVE-2023-20101 – Cisco Emergency Responder 12.5(1)SU4 sérülékenysége
CVE-2023-22515 – Atlassian Confluence Data Center és Server sérülékenysége
CVE-2023-42793 – JetBrains TeamCity sérülékenysége
Tovább a sérülékenységekhez »