Name: News and Advice on the World's Latest Innovations | ZDNET
Brand: zdnet.com
SKU: zdnet-com-56
Availability: OnlineOnly

critic

News and Advice on the World's Latest Innovations | ZDNET

preview

/&gt;Want a truly secure operating system kernel? The Linux Foundation is partnering with Australia's national science agency, CSIRO, to roll out the seL4 microkernel.First thing's first: Yes, the is working with &nbsp;-- the digital specialist arm for Australia's national science agency,&nbsp;&nbsp;-- to push forward the new security-first operating system kernel . But seL4 is not related to Linux.&nbsp; However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born . Now, with its latest edition and broader support, seL4 may be more broadly deployed.&nbsp;This kernel is a member of the SeL4 is a mathematically proven correct, bug-free operating system kernel. It's designed to enforce strong security properties. Data61 claims it's the world's first operating system with such proof. It's also, they say, the only proven operating system featuring fine-grained, capability-based security and high performance. In the real world, it supports .&nbsp;The Linux Foundation's part in this is to host the newly formed . It "will support the seL4 Foundation and community by providing expertise and services to increase community engagement, contributors and adopters, helping to take the OS ecosystem to the next level," said Michael Dolan, the Linux Foundation's VP of strategic programs. Founding members include Data61, UNSW Sydney, HENSOLDT Cyber GmbH, Ghost Locomotion, , and .&nbsp;SeL4 will be used in real-time embedded computing systems, which need the best possible security. It's expected to be used in such fields as avionics, autonomous vehicles, medical devices, critical infrastructure, and defense. &nbsp;In a statement, Carl L. Nerup, Cog Systems' Cog Systems' CEO, said:"SeL4 has set the new standard for high assurance for embedded solutions on connected devices. This enables us to deliver commercial solutions that meet the rigorous demands associated with formal verification to deliver a certified&nbsp; approach that meet the highest standard for safety and security in the market today."

/&gt;Want a truly secure operating system kernel? The Linux Foundation is partnering with Australia's national science agency, CSIRO, to roll out the seL4 microkernel.First thing's first: Yes, the is working with &nbsp;-- the digital specialist arm for Australia's national science agency,&nbsp;&nbsp;-- to push forward the new security-first operating system kernel . But seL4 is not related to Linux.&nbsp; However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born...

public

Steven J. Vaughan-Nichols, aka sjvn, has been writing about technology and the business of technology since CP/M-80 was the cutting edge, PC operating system; 300bps was a fast Internet connection; WordStar was the state of the art word processor; and we liked it.His work has been published in everything from highly technical publications (IEEE Computer, ACM NetWorker, Byte) to business publications (eWEEK, InformationWeek, ZDNet) to popular technology (Computer Shopper, PC Magazine, PC World) to the mainstream press (Washington Post, San Francisco Chronicle, BusinessWeek).

https://www.zdnet.com/meet-the-team/us/steven-j-vaughan-nichols/

Steven J. Vaughan-Nichols

Steven Vaughan-Nichols

ZDNet is a business technology news website published by CBS Interactive, along with TechRepublic. The brand was founded on April 1, 1991, as a general interest technology portal from Ziff Davis and evolved into an enterprise IT-focused online publication owned by CNET Networks.

zdnet.com

Credible

Speculation

Anecdotal Evidence

Generalization

Stacking the Deck

Appeal to Authority

Straw Man

Slippery Slope

Emotional Appeal

Red Herring

False Dilemma

Illogical

Moral Equivalency

Ad Hominem

Correlation w/o Causation

Semantics

Begging the Question

Faulty Analogy

Non Sequitur

Bandwagon

Dogmatism

Failing Occam's Razor

Biased

Pure Opinion

Hit Piece

Racial Bias

National Bias

Religious Bias

Financial Incentive

Political Agenda

Gender Bias

Misused Image/Video

Study Misinterpreted

Mistake

Misused Term

Science Misrepresented

Factual Error

Satire

Surface Level

Lack of Reliable Sources

Sensational

Not Credible

Investigative

Balanced

Well Sourced

Great Context

sports

entertainment

U.S.

international

business

technology

science

culture

politics

media

health

News and Advice on the World's Latest Innovations | ZDNET

No article scores yet.

CRITIC REVIEWS

PUBLIC REVIEWS