Scientists discover `kernel` to make systems more reliable
Washington: Scientists have created a
"kernel" -- the basis of a computer`s operating system -- that
is proven reliable with mathematics, a milestone which they
claim will pave the way for a new generation of software with
unprecedented levels of reliability.
According to them, the Secure Embedded L4 microkernel
has potential applications in defence and other safety and
security industries where the flawless operation of complex
embedded systems is of critical importance.
"Formal proofs for specific properties have
been conducted for smaller kernels, but what we have done is
a general, functional correctness proof which has never before
been achieved for real-world, high-performance software of
this complexity or size," said Dr Gerwin Klein of NICTA in
Australia, who led an international team.
According to the scientists, the proof also shows that
many kinds of common attacks will not work on the seL4 kernel.
For instance, the microkernel is impervious to buffer
overflows, a common form of software attack where hackers take
control of programs by injecting malicious code. "Our kernel
cannot be subverted by this kind of attack," Klein said.
More from India
More from World
More from Sports
More from Entertaiment
- Indian Army conducts surgical strikes across LoC: Watch DGMO Lt Gen Ranbir Singh's PC
- Pak forces will teach Zee News what real surgical strike is: Hafiz Saeed
- Indian Army targets terror camps across LoC; Pak PM Sharif condemns
- 7 terror camps destroyed by Indian Army in surgical strikes
- DNA: Indian Army carries out surgical strikes across LoC
- Hafiz Saeed threatens Zee News, says Pak forces will teach what real surgical strikes are
- What is surgical strike and how it is conducted - MUST KNOW for every Indian
- Pak postpones SAARC Summit after five member states pull out of conference: As it happened
- SALUTE! Brave Indian army commandos give befitting reply to Pak-sponsored terrorists
- Surgical strikes across LoC in Pakistan were filmed, videos kept as proof