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

Dave Sill sparge at gmail.com
Wed Sep 23 11:30:25 UTC 2015

On Wed, Sep 23, 2015 at 5:19 AM, John Grigg <possiblepaths2050 at gmail.com>

> "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.
A provably secure kernel is great, but alone it's not enough to ensure that
an entire system is secure. E.g., if I leave my "unhackable" system
accessible to the world and have a privileged account called "root" with
the password "root", the kernel isn't going to save me.

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

More information about the extropy-chat mailing list