A software has been developed which is claimed to be the “First Hack Free Software” which is capable of securing your systems from failure or malicious attacks.
A team led by Australia’s ICT Research Centre of Excellence’s spinout company — Open Kernel Labs (OK Labs) claimed to develope a software which is hack free.The named given to it is ‘seL4′ microkernel.
It is a small operating system kernel which regulates access to a computer’s hardware.It is mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack, say the scientists.
seL4 could ensure that trusted financial transaction software from secure sources like banks or stock exchanges can operate securely on a customer’s mobile phone alongside “untrusted” software, such as games downloaded from the Internet in the applications developed in future.
The lead scientist Gerwin Klein said “Our seL4 microkernel is the only operating system kernel in existence whose source code has been mathematically proven to implement its specification correctly. Under the assumptions of the proof, the seL4 kernel for ARM11 will always do precisely what its specification says it will do”.
“Verification of operating-system kernels has been attempted since the 1970s — we pulled it off!”said scientist Gernot Heiser.