The phrase ‘bad guys are always two steps ahead good guys’ seems to be refuted in the world of web and Internet and even for most expert hackers. Hacking is going to be an elusive task as new software has been developed and developer scientist claims that it is the worlds’ first hack-free software.
As per report of the sources, a team of scientists, led by Australia’s ICT Research Centre of Excellence’s spinout company — Open Kernel Labs (OK Labs), have developed a small operating system ‘seL4’ microkernel, which regulates access to a computer’s hardware. The report further added that the developed software ‘kernel’ could protect system from failure or malicious attack.
Reportedly, scientists said that the software had been mathematically proven to operate correctly. It has been also informed that the ‘kernel’ could separate trusted and un-trusted software and could protect from malicious attacks.
As per report of the sources, the scientists have informed that in future application, seL4 could ensure that trusted financial software from banks or stock exchanges could operate security on the customers’ mobile phone alongside un-trusted software.
In a press conference, Mr Gerwin Klein, the leading scientist in the project, said that the seL4 microkernel was the only operating system kernel in existence whose source code had been mathematically proven to implement its specifications correctly. Mr Klein further added that under the assumptions of proof, the seL4 kernel for ARM11 would always do exactly according to its specifications.
As per report of the sources, a team of scientists, led by Australia’s ICT Research Centre of Excellence’s spinout company — Open Kernel Labs (OK Labs), have developed a small operating system ‘seL4’ microkernel, which regulates access to a computer’s hardware. The report further added that the developed software ‘kernel’ could protect system from failure or malicious attack.
Reportedly, scientists said that the software had been mathematically proven to operate correctly. It has been also informed that the ‘kernel’ could separate trusted and un-trusted software and could protect from malicious attacks.
As per report of the sources, the scientists have informed that in future application, seL4 could ensure that trusted financial software from banks or stock exchanges could operate security on the customers’ mobile phone alongside un-trusted software.
In a press conference, Mr Gerwin Klein, the leading scientist in the project, said that the seL4 microkernel was the only operating system kernel in existence whose source code had been mathematically proven to implement its specifications correctly. Mr Klein further added that under the assumptions of proof, the seL4 kernel for ARM11 would always do exactly according to its specifications.
No comments:
Post a Comment