World’s ‘first hack-free’ software created
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.
About the Author
- Latest Technology News