Onderzoekers ontwikkelen onkraakbare software
Australische wetenschappers hebben naar eigen zeggen een niet te kraken besturingssysteem ontwikkeld. "In een toekomst waar alles van auto's tot ziekenhuizen afhankelijk is van de foutloze prestaties van complexe computersystemen, is de beschikbaarheid van volledig betrouwbare hardware en software van levensbelang", aldus de onderzoekers van het National ICT Australia (NICTA). Op dit moment zou er nog geen manier zijn om de probleemloze werking van software te garanderen.
Door de komt van de 'seL 4' microkernel' is dit nu veranderd, waarbij de onderzoekers zelfs van een doorbraak spreken. De seL4 microkernel is een kleine besturingssysteemkernel die de toegang tot de hardware bepaalt. Het unieke aan de kernel is dat wiskundig is aangetoond dat die correct werkt. Daardoor zou die betrouwbare van onbetrouwbare software kunnen scheiden om belangrijke diensten tegen fouten of kwaadaardige aanvallen te beschermen.
Wiskundig bewijs
In toekomstige applicaties zou de seL4 microkernel ook financiële transacties op mobiele telefoons kunnen verzorgen, ook al draait er "onbetrouwbare" software op het platform. "Het is het de enige besturingssysteemkernel waarvan wiskundig bewezen is dat het de vermelde specificatie correct implementeert", aldus onderzoeker Gerwin Klein.
De onderzoekers van NICTA werkten zeven jaar aan de ontwikkeling van de kernel. "Verificatie van besturingssysteemkernels wordt sinds de jaren 1970 geprobeerd, maar het is ons nu gelukt."
kijk naar as/400 en mainframe, uitontwikkeld en stabiel.
onze drang naar gimmicks en continue uitbreiding zorgen voor een explosieve groei in fout op fout.
als je de lijn doortrekt zeggen ze dus dat linux onveilig is, zal niet veel vrienden opleveren.
daarbij, een controleerbare kernel zorgt nog niet voor een veilig systeem.
immers, alles is gebaseerd op data, resultaten van een ander proces.
het kan dan wel theoretisch veilig, alleen is de mens daar altijd toe in staat?
resultaten uit het verleden doen het ergste vermoeden.
denk aan openbsd, behoorlijk veilig, kan extreem veilig middels systrace, chroot e.d.
maar wie neemt de tijd, of kan, dit goed inrichten?
het blijft streven naar perfectie.
en daarom is het zo jammer dat de echte techneuten tegenwoordig ondersneeuwen door zwetsers.
het kost jaren vallen en opstaan om een redelijk niveau te bereiken.
wie wil dat nog in deze snelle juppenmaatschappij?
al die verandering valt ook niet bij te houden.
Het is niet zo spannend te zien dat het "wiskundig bewezen is dat het de vermelde specificatie correct implementeert", daarmee zeg je dus feitelijk, als "A dan B". Het wordt pas spannend als A niet A is :)
Ik vrees dat het eerder een theoretisch correcte test is dan een daarwerkelijk bruikbaar resultaat, maar we zullen zien.
Fouten zitten dus overal.
Het is natuurlijk wel aardig dat je wiskundig kan bewijzen dat het helemaal 'veilig' is, maar het is ook bijna wiskundig aan te tonen dat Murphy's Law ook nog steeds bestaat!
Dus theoretisch !!!
Dus theoretisch !!!
Heb je weleens wiskunde gehad op school? Dan zou je ook de waarde moeten kennen van wiskunde. Veel wiskunde is redelijk onzichtbaar toegepast in ons leven en dat werkt allemaal prima, we kunnen er wolkenkrabbers mee bouwen alleen al omdat de stelling van Pythagoras wiskundig bewezen is.
Als derhalve wiskundig bewezen is dat deze microkernel correct werkt, dan hecht ik daar een heel hoge waarde aan. Voor mij is dat bewijs een stuk beter dan een praktisch bewijs, want daar weet je het écht nooit.
Wat helaas wel blijft is dat als je foute informatie die kern instuurt er dan ook bewezen foute informatie uit komt. Het is dus nu de kunst om uit te zoeken hoe je de mogelijkheden van deze kern goed kunt gebruiken. B.v. door in ieder geval met gecertificeerde software en data (ik bedoel met gecertificeerd voorzien van een digitale handtekening) te werken.
al die verandering valt ook niet bij te houden.
zolang het niet gebruikt wordt.
Er is bewezen dat het aan de specs voldoet. Of die specs voldoende zijn om het veilig te maken is dan natuurlijk punt 2. En hoe de veiligheid in combinatie met de rest van het hele ecosysteem zit punt 3.
"All (cyber)warfare is based on deception" - (c) The Art of War
Deze posting is gelocked. Reageren is niet meer mogelijk.
Junior DevOps Engineer
Certified Secure is op zoek naar een Junior DevOps Engineer. Deze functie is een stuk interessanter dan de term doet vermoeden! Om jou als potentiële nieuwe collega meteen te laten zien wat we doen hebben we speciaal voor jou een selectie gemaakt van een aantal leuke security challenges. Are you ready for a challenge?
Cybersecurity Trainer / Streamer
Toe aan een nieuwe nieuwe job waarmee je het verschil maakt? In de Certified Secure trainingen laat je deelnemers zien hoe actuele kwetsbaarheden structureel verholpen worden. Ook werk je actief mee aan de ontwikkeling van onze gamified security challenges. Bij het maken van challenges kom je telkens nieuwe technieken tegen, van Flutter tot GraphQL, van Elastic Search tot Kubernetes.
