Secure Coding mailing list archives

Segments, eh Smithers?

From: mouse at Rodents.Montreal.QC.CA (der Mouse)
Date: Tue, 4 Apr 2006 13:31:26 -0400 (EDT)

So, if we hope to have a truly high security operating system in our
lifetimes, then one of several things will have to happen:

    * [...]
    * [...]
    * Someone develops a security kernel that effectively fakes
      segmentation in software using conventional pages, *and* they
      get it evaluated up to EAL7.


Strictly speaking, you don't need to have it evaluated for it to be
high security.  Evaluation does not give the security; it gives
confidence in the security (or lack thereof, if it flunks).

Okay, okay, </nitpick>....

/~\ The ASCII                           der Mouse
\ / Ribbon Campaign
 X  Against HTML               mouse at rodents.montreal.qc.ca
/ \ Email!           7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B

Current thread:

Segments, eh Smithers? Crispin Cowan (Apr 03)
- Segments, eh Smithers? ljknews (Apr 04)
  - Segments, eh Smithers? Michael S Hines (Apr 04)
- Segments, eh Smithers? der Mouse (Apr 04)
- Segments, eh Smithers? Blue Boar (Apr 04)
- Segments, eh Smithers? Steven M. Bellovin (Apr 04)
- Segments, eh Smithers? Aleksander P. Czarnowski (Apr 04)
- <Possible follow-ups>
- Segments, eh Smithers? karger at watson.ibm.com (Apr 04)