l4-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: A Framework for Device Drivers in Microkernel Operating Systems


From: Jonathan S. Shapiro
Subject: Re: A Framework for Device Drivers in Microkernel Operating Systems
Date: Mon, 15 May 2006 16:00:38 -0400

On Mon, 2006-05-15 at 20:29 +0200, Espen Skoglund wrote:
>   o Depending on your definition of security, the presence of global
>     names does not necessarily mean that the system is unsecure.

Yes. If you are prepared to redefine security to exclude considerations
of denial of service, fault isolation, or information flow isolation,
this is certainly reasonable.

But the credibility of such a definition would have to be severely
challenged.

shap





reply via email to

[Prev in Thread] Current Thread [Next in Thread]