<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Sep 23, 2015 at 5:19 AM, John Grigg <span dir="ltr"><<a href="mailto:possiblepaths2050@gmail.com" target="_blank">possiblepaths2050@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><p style="font-family:'PT Serif';margin:0px 0px 12px;padding:0px;border:0px;font-size:15px;vertical-align:baseline;color:rgb(51,51,51);line-height:1.4">"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 <a href="http://sel4.systems/Info/FAQ/proof.pml" style="margin:0px;padding:0px;border:0px;vertical-align:baseline;text-decoration:none;color:rgb(23,156,206)" target="_blank">proved mathematically</a> that their kernel is unhackable.<br></p></div></div></blockquote><div>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.<br><br></div><div>-Dave <br></div></div></div></div>