Re: Secure OS Thoughts
From: Anne & Lynn Wheeler (lynn_at_garlic.com)
Date: 08/30/03
- Next message: dsr_at_Florence.edu: "Re: Interesting Discussion with US Government Computer Expert"
- Previous message: Mark Wooding: "Re: Possible way to link block cipher distinguishability from PRF to the inner workings of a product cipher? (LONG)"
- In reply to: Martin Bealby: "Secure OS Thoughts"
- Next in thread: flip: "Re: Secure OS Thoughts"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Date: Sat, 30 Aug 2003 01:00:38 GMT
mbealby@myrealbox.com (Martin Bealby) writes:
> Objective:
>
> * To create a secure operating system suitable for use in highly
> security concious environments, with minimal risk of unauthorised
> access. Security is paramount, above all the system should be secure,
> even if this means a sacrafice in speed.
> [To quote Schneier: "We already have enough fast, insecure systems. We
> don't need another one."]
some related:
http://www.garlic.com/~lynn/2003j.html#4 A Dark Day
http://www.garlic.com/~lynn/2002l.html#42 Thirty Years Later: Lessons from the Multics Security Evaluation
http://www.garlic.com/~lynn/2002l.html#44 Thirty Years Later: Lessons from the Multics Security Evaluation
slightly related:
http://www.garlic.com/~lynn/2001i.html#55 Computer security: The Future
http://www.garlic.com/~lynn/2001m.html#12 Multics Nostalgia
http://www.garlic.com/~lynn/2001m.html#15 departmental servers
http://www.garlic.com/~lynn/2002p.html#6 unix permissions
http://www.garlic.com/~lynn/2003i.html#59 grey-haired assembler programmers (Ritchie's C)
EROS: The Extremely Reliable Operating System
http://www.eros-os.org/
and semi-related from eros discussion ...
http://eros.cs.jhu.edu/~shap/NT-EAL4.html
gnosis was the predecessor to keykos, and eros page lists keykos as
the predecessor to eros; misc gnosis/keykos references:
http://www.garlic.com/~lynn/2000f.html#69 TSS ancient history, was X86 ultimate CISC? designs)
http://www.garlic.com/~lynn/2001b.html#73 7090 vs. 7094 etc.
http://www.garlic.com/~lynn/2001g.html#33 Did AT&T offer Unix to Digital Equipment in the 70s?
http://www.garlic.com/~lynn/2001g.html#35 Did AT&T offer Unix to Digital Equipment in the 70s?
http://www.garlic.com/~lynn/2001n.html#10 TSS/360
http://www.garlic.com/~lynn/2002f.html#59 Blade architectures
http://www.garlic.com/~lynn/2002g.html#0 Blade architectures
http://www.garlic.com/~lynn/2002g.html#4 markup vs wysiwyg (was: Re: learning how to use a computer)
http://www.garlic.com/~lynn/2002h.html#43 IBM doing anything for 50th Anniv?
http://www.garlic.com/~lynn/2002i.html#63 Hercules and System/390 - do we need it?
http://www.garlic.com/~lynn/2002j.html#75 30th b'day
http://www.garlic.com/~lynn/2003h.html#41 Segments, capabilities, buffer overrun attacks
http://www.garlic.com/~lynn/2003i.html#15 two pi, four phase, 370 clone
http://www.garlic.com/~lynn/2003j.html#20 A Dark Day
http://www.garlic.com/~lynn/2003k.html#50 Slashdot: O'Reilly On The Importance Of The Mainframe Heritage
-- Anne & Lynn Wheeler | http://www.garlic.com/~lynn/ Internet trivia 20th anv http://www.garlic.com/~lynn/rfcietff.htm
- Next message: dsr_at_Florence.edu: "Re: Interesting Discussion with US Government Computer Expert"
- Previous message: Mark Wooding: "Re: Possible way to link block cipher distinguishability from PRF to the inner workings of a product cipher? (LONG)"
- In reply to: Martin Bealby: "Secure OS Thoughts"
- Next in thread: flip: "Re: Secure OS Thoughts"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Relevant Pages
|
