World’s ‘first hack-free’ software created

Posted January 31, 2011 by Bella Jones in Technology

At last Scientists have developed world’s first hack free software, which can protect system from malicious attacks and failure.
A team of Australia’s ICT research center of excellence’s spinout company has developed “seL4” microkernel. This is a small operating system kernel which can access to pc hardware.
It is mathematically established to operate correctly. Scientists say that it can enable to separate trusted and untrusted softwares, shielding critical services from a malicious attack or a failure.

The Developers of seL4 says, it could guarantee that trusted financial transaction software from safe sources like stock exchanges and link banks can operate securely and safely on a customer’s cell phone alongside ‘untrusted’ software, such as softwares and games downloaded from Internet.

Scientists say, seL4 microkernel is the single operating system kernel in existence whose source code has been mathematically verified to implement its specification correctly.