[ExI] Could an unhackable kernal keep all computers safe from cyberattack?

[John Grigg]

"The kernel is the central core of any computer’s operating system. If
hackers gain access to it, they can perform actions that are meant to be
forbidden – like turning a mobile phone into a signal jammer, for example.
Last year, Heiser’s team proved mathematically
<http://sel4.systems/Info/FAQ/proof.pml> that their kernel is unhackable.

Known as seL4, the kernel has a few highly secure properties
<https://www.newscientist.com/article/mg20327236-400>: it can only do what
it is designed to do; its code can’t be changed without permission; and its
memory and data transfers can’t be read without permission. An earlier
version of it, called OKL4, is now in millions of smartphones."


*https://www.newscientist.com/article/mg22730392-600-unhackable-kernel-could-keep-all-computers-safe-from-cyberattack-2/
<https://www.newscientist.com/article/mg22730392-600-unhackable-kernel-could-keep-all-computers-safe-from-cyberattack-2/>*


*John*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20150923/3e634484/attachment.html>