Researchers mathematically prove security of new kernel

Researchers in Australia have determined a way to prove that the kernels in mission-critical systems are safe, through the magic of mathematics. This method, which is being reported by CNET, is said to prove that written code is free of many different forms of errors, and it's hoped that it does, as the systems it's aimed at are built for aircraft and other vehicles.  The company is called the Information and Communications Technology Centre of Excellence, and is aimed at private-sector research. The first ever kernel they developed with the new checking method is called the secure embedded L4 (seL4) microkernel, and will benefit a lot of different sectors, including businesses.  Read full story...


 


http://feedproxy.google.com/~r/neowin-main/~3/Y1t8_82qF9A/researchers-mathematically-prove-security-of-new-kernel