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.
Toezichthouder informatiebeveiliging Overheid
Rijksinspectie Digitale Infrastructuur (RDI)
Vind je het leuk om als toezichthouder bij te dragen aan de verdere groei in informatie-beveiliging van de overheid en in contact te staan met (belangen) organisaties binnen de overheid? Dan kun je komen bouwen aan toezicht op een veilige en betrouwbare Digitale Infrastructuur in Nederland.
Adviseur Informatiebeveiliging
Je bent een belangrijke speler om invulling te geven aan de gemeentelijke ambities op het gebied van informatiebeveiliging. Deze ambities neem jij op in het Informatie-beveiligingsbeleid Gemeente Zoetermeer. Wil je helpen bij het verbeteren van de informatiebeveiliging in Zoetermeer en het versterken van het cyberbewustzijn binnen onze organisatie? Wacht dan niet en kom ons team informatiebeveiliging versterken!
Digital Designer
Ben jij een Grafisch vormgever, UI-designer, Game-artist of gewoon een ‘self-proclaimed creative genius’, die op zoek is naar een leuke en uitdagende baan waarin je al je creativiteit kwijt kan?Je werkt samen met onze developers en UI/UX-designer aan onze Gamified Cybersecurity Challenges welke jij voorziet van de mooiste designs.
Senior Full Stack Developer
Als full stack developer bij Certified Secure maak je de mooiste cybersecurity challenges die onze deelnemers wereldwijd uitdagen en inspireren. Alle challenges zijn gebaseerd op actuele kwetsbaarheden, je komt dus telkens nieuwe technieken tegen, van machine learning tot web assembly, van Swift UI tot GCP.