Nieuws
image

Zeer veilig besturingssysteem seL4 gaat opensource

dinsdag 29 juli 2014, 16:05 door Redactie, 9 reacties

Een besturingssysteem dat volgens de ontwikkelaars tot één van de veiligste ter wereld behoort gaat verder als opensourcesoftware. Dat hebben het Australische NICTA en General Dynamics C4 Systems laten weten. Het besturingssysteem in kwestie is de secure embedded L4 (seL4) microkernel.

Het zou de eerste kernel van een besturingssysteem zijn waarbij wiskundig kan worden aangetoond dat die correct werkt. Daardoor zou de kernel betrouwbare van onbetrouwbare software kunnen scheiden om belangrijke diensten tegen fouten of kwaadaardige aanvallen te beschermen. De kernel zou ook niet kunnen werken op een manier die niet door de ontwikkelaars is bedoeld.

"seL4 brengt softwareafhankelijkheid naar een nieuw niveau en zal de ontwikkeling van echt betrouwbare systemen ondersteunen", zegt Gernot Heiser, onderzoeksleider van het NICTA. Volgens hem is een oplossing als seL4 dringend nodig. "Er zijn genoeg voorbeelden van de fundamentele tekortkomingen in de hedendaagse kritieke software."

Door het opensource maken van seL4 hoopt Heiser dat er een wereldwijde gemeenschap van ontwikkelaars ontstaat die zich bezighouden met toepassingen voor de nationale veiligheid, luchtvaart, auto-industrie, medische implantaten, industriële automatisering en BYOD in zakelijke omgevingen. De broncode van het besturingssysteem en de software om de wiskundige correctheid van het systeem te bepalen zijn onder een standaard opensourcelicentie uitgebracht.

Reacties (9)
29-07-2014, 18:52 door potshot
'ah ja,laten we het opensource maken dan kunnen we er net zo'n zootje van maken als met linux.'
hoeveel jaar verder zijn we nu en hoeveel verschillende versies zijn daarvan gemaakt met hoeveel marktaandeel?
als iets gratis is maar dan NOG niet aanslaat moet je toch eens na gaan denken wat voor bagger het eigenlijk is.
29-07-2014, 19:20 door Anoniem
Door potshot:

als iets gratis is maar dan NOG niet aanslaat moet je toch eens na gaan denken wat voor bagger het eigenlijk is.

Dat geldt zeker voor vele van de altijd maar weer negatieve reacties hier onder de diverse gehanteerde pseudoniemen, de bijdragen willen maar niet aanslaan, tijd om na te denken over wat voor ,...
Ga iets nuttigs doen svp.
29-07-2014, 23:09 door Anoniem
Je bedoelt '' Nog zeer veilige OS'' denkt ik!
29-07-2014, 23:47 door Anoniem
Door potshot: 'ah ja,laten we het opensource maken dan kunnen we er net zo'n zootje van maken als met linux.'
hoeveel jaar verder zijn we nu en hoeveel verschillende versies zijn daarvan gemaakt met hoeveel marktaandeel?
als iets gratis is maar dan NOG niet aanslaat moet je toch eens na gaan denken wat voor bagger het eigenlijk is.

Hahaha, jij bent buiten kijf van de 'alleen met muis werken' generatie. Graag wat meer respect voor "waarbij wiskundig kan worden aangetoond dat die correct werkt", maar dat is ongetwijfeld tegen dovemansoren.
30-07-2014, 00:37 door Anoniem
Door potshot: 'ah ja,laten we het opensource maken dan kunnen we er net zo'n zootje van maken als met linux.'
hoeveel jaar verder zijn we nu en hoeveel verschillende versies zijn daarvan gemaakt met hoeveel marktaandeel?
als iets gratis is maar dan NOG niet aanslaat moet je toch eens na gaan denken wat voor bagger het eigenlijk is.

Oooo meneer de expert is aan het woord.
Wat is er dan mis met Linux?

En ja, alsof Windows zo veilig is met zijn update's iedere twee weken.
Linux is nog steeds veiliger dan Windows, en zelf te controleren, en daar zit gelukkig geen Microsoft achter
(waar het alleen maar om geld gaat).maar een boel mensen die elkaar proberen te helpen voor nop.

Waarom koop je eigenlijk een O.S. terwijl het vol zit met gaten??? Omdat iedereen het doet, of ben je te lui
om een ander O.S. te installeren. De meeste die overstappen naar Linux weten pas na een tijdje hoe geweldig
het is, en vele haken al in begin al af omdat het geen Windows is. Maar ze realizeren zich niet hoelang ze al
met Windows hebben gewerkt, en wat ze deden bij problemen. Maar de mens wil niet graag veranderingen
wat dat is allemaal raar, en niet vertrouwd toch.

Ik draai een hele hoop besturingssystemen (dus ook Windows) maar Linux blijft toch mijn favoriet hoor.
Het is simpeler kwa opzet, je kan er veel meer mee, het is open, het is gratis, het is veiliger (tot nu toe),
en ook als je er geen verstand van hebt zijn er nog steeds forums waar mensen je graag verder helpen.

Sommige mensen hebben altijd wat te klagen.

Ik zou haast gaa roepen code je eigen O.S. dan maar.
30-07-2014, 08:03 door potshot
Door Anoniem:
Door potshot:

als iets gratis is maar dan NOG niet aanslaat moet je toch eens na gaan denken wat voor bagger het eigenlijk is.

Dat geldt zeker voor vele van de altijd maar weer negatieve reacties hier onder de diverse gehanteerde pseudoniemen, de bijdragen willen maar niet aanslaan, tijd om na te denken over wat voor ,...
Ga iets nuttigs doen svp.

maar kritiek hebben op microsoft en windows mag weer WEL en is altyd politiek correct ,lees alle posts daarover maar eens door en hoe redelijk die eigenlijk zijn..
windows bashen moet,elke dag.
krijgt linux eens kritiek schieten ze meteen in een stuip.
30-07-2014, 08:45 door maboc
Door potshot:
...
hoeveel jaar verder zijn we nu en hoeveel verschillende versies zijn daarvan gemaakt met hoeveel marktaandeel?
...
Ben ik het niet helemaal mee eens.
Voor de desktop markt zou je dat kunnen zeggen wellicht. Maar in datacenters zie ik toch echt heel erg veel linux.
Toegegeven, ik ben een linux-mensch, en ik zie wat ik graag wil zien. Maar toch, op de servermarkt doet linux het erg goed. En dat is over het algemeen niet verdeeld over honderden distributies. De 3 die ik het meest zie :
- Redhat
- Suse
- Oracle linux (Maar....ik ben dan ook oracle DBA :-))
30-07-2014, 10:31 door dutchfish
Door potshot: 'ah ja,laten we het opensource maken dan kunnen we er net zo'n zootje van maken als met linux.'
hoeveel jaar verder zijn we nu en hoeveel verschillende versies zijn daarvan gemaakt met hoeveel marktaandeel?
als iets gratis is maar dan NOG niet aanslaat moet je toch eens na gaan denken wat voor bagger het eigenlijk is.

Ik het lijkt me handiger als je wat genuanceerder te werk gaat. Als klein voorbeeldje:
http://www.linuxfoundation.org/programs/core-infrastructure-initiative

Mijn 2 centen
30-07-2014, 15:03 door Anoniem
iets met 'Don't feed the troll!' ?!
Reageren

Deze posting is gelocked. Reageren is niet meer mogelijk.

Zoeken
search