Back to Results
First PageMeta Content
Microkernel / Trusted computing base / L4 microkernel family / Monolithic kernels / Virtual machines / Gernot Heiser / Kernel / Embedded system / Linux kernel / Computer architecture / System software / Software


Secure Embedded Systems Need Microkernels Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia
Add to Reading List

Document Date: 2010-10-07 14:23:41


Open Document

File Size: 165,11 KB

Share Result on Facebook

City

Reading / /

Company

PC world / /

Country

Australia / /

/

Facility

University of New South Wales Sydney / University of Karlsruhe / Dresden University of Technology / /

IndustryTerm

large systems / pointer devices / wireless connectivity / secure systems / good way to encapsulate untrusted applications / particular carrier / µ-kernel-based systems / well-engineered software averages / arbitrary systems / embedded-systems software / embedded-systems / real-time executive / electronic devices / commodity computer systems / entertainment devices / modity operating systems / wireless communication infrastructure / well-engineered software / trusted computing base / legacy operating systems / memory management / wireless communication / /

OperatingSystem

EROS / Linux / Microsoft Windows / /

Organization

University of New South Wales Sydney / University of Karlsruhe / Australian Government / Australian Research Council / Dresden University of Technology / /

Person

Harvey Tuch / Jochen Liedtke / Jonathan S. Shapiro / /

Position

real-time executive / /

ProgrammingLanguage

Java / /

PublishedMedium

Communications of the ACM / /

Region

South Wales / /

Technology

virtual machine / cellular telephone / broadband / Linux system / Java / Linux / API / cell phones / mobile phones / operating system / mobile device / operating systems / mobile devices / /

URL

http /

SocialTag