Darpa maakt 'onhackbare' software

Code die niet gekraakt kan worden verhoogt de veiligheid van gevoelige apparatuur zoals drones en onbemande vliegtuigjes. Daar is geen menselijke piloot aanwezig die een hackpoging meteen de kop kan indrukken.

Speciaal plan

Darpa heeft een speciaal programma opgezet onder de naam High-Assurance Cyber Military Systems (HACMS), zo meldt het blad New Scientist. De techniek wordt nu gebruikt voor militaire doeleinden, maar daar hoeft het niet bij te blijven. Deze code kan ook goed worden opgenomen in pacemakers en insulinepompen, apparaten waarvan de goede werking niet verstoord mag worden. Ook de software aan boord van auto's kan ervan profiteren.

SeL4 kernel

De onkraakbare software heeft de naam SeL4 kernel gekregen. Het is een stuk code dat een heel hoge veiligheidsgraad heeft. Het is niet mogelijk om de kernel een andere taak te laten vervullen dan waarvoor hij is ontworpen. De code kan alleen met stringente toestemming worden gewijzigd. Ook het dataverkeer tussen de kernel en de rest van het systeem kan niet worden afgeluisterd. Een voorloper van deze code wordt momenteel al in miljoenen smartphones gebruikt.