The ultimate way to keep your computer safe from harm
The ultimate way to keep your computer safe from harm
About this item
Full title
Author / Creator
Publisher
London: New Scientist
Journal title
Language
English
Publication information
Publisher
London: New Scientist
Subjects
More information
Scope and Contents
Contents
The microkernel, dubbed seL4, is the work of technology research company NICTA and the University of New South Wales in Australia and Open Kernel Labs. Their kernel has been pared down to the minimum amount of code needed to link the computer hardware to the applications that run on it. The team behind seL4 have proved in principle that it is possi...
Alternative Titles
Full title
The ultimate way to keep your computer safe from harm
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_miscellaneous_200420420
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_miscellaneous_200420420
Other Identifiers
ISSN
0262-4079
E-ISSN
2059-5387
DOI
10.1016/S0262-4079(09)62264-8
