From: James Ross <rem.jr@rem.webross.com>
Subject: Re: Ada Operating System
Date: Sat, 23 Mar 2002 00:06:58 -0600
Date: 2002-03-23T00:06:58-06:00 [thread overview]
Message-ID: <436o9uc7jg590rv5rb1l9v6be8vk49s278@4ax.com> (raw)
In-Reply-To: a76lbh$8i42@news.cis.okstate.edu
On 19 Mar 2002 06:20:33 GMT, David Starner
<dvdeug@x8b4e53cd.dhcp.okstate.edu> wrote:
>I _hate_ when gratitious restrictions stop me from doing what I need to
>do. When the user really, really wants to shoot themselves in the foot,
>the system's job is to provide the gun.
I'll agree with that to a point. A very secure OS should have an
"unsafe" mode where all bets are off -- do whatever you want. However,
under normal conditions no foot wounding allowed.
By the way, It is the OS's responsibility to provide the means for
doing what needs to be done in a safe and secure way.
The more I think about a "theoretical OS written in Ada", the more I
think that the strongest argument for it, that makes sense to me, is
for security / stability. (Not that I think that because it is
written in Ada, magically this would be the case. It's just the
appropriate analogy in this case)
JR
next prev parent reply other threads:[~2002-03-23 6:06 UTC|newest]
Thread overview: 185+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-19 19:39 Ada Operating System Dann Corbit
2002-02-19 21:23 ` Adrian Knoth
2002-02-19 21:58 ` chris.danx
2002-02-19 22:40 ` Hugues Jerome
2002-02-20 0:38 ` Dann Corbit
2002-02-20 14:47 ` Joel Sherrill
2002-02-20 19:09 ` Hyman Rosen
2002-02-21 15:33 ` tony gair
2002-02-21 17:46 ` Chad R. Meiners
2002-02-21 17:57 ` Larry Kilgallen
2002-02-22 0:34 ` tony gair
2002-02-22 2:23 ` Larry Kilgallen
2002-02-21 22:05 ` David Starner
2002-02-22 9:08 ` Adrian Hoe
2002-02-22 20:37 ` David Starner
2002-02-23 4:44 ` Adrian Hoe
2002-02-23 6:10 ` Mark Biggar
2002-02-23 18:04 ` Richard Riehle
2002-02-23 18:07 ` David Starner
2002-02-23 20:30 ` Larry Kilgallen
2002-02-24 2:42 ` David Starner
2002-02-24 4:27 ` Larry Kilgallen
2002-02-24 17:15 ` David Starner
2002-02-23 19:01 ` Darren New
2002-02-25 13:51 ` Marin David Condic
2002-02-26 0:47 ` Larry Kilgallen
2002-03-05 14:16 ` Marin David Condic
2002-02-25 17:56 ` Pascal Obry
2002-02-25 20:01 ` Randy Brukardt
2002-02-25 22:08 ` Ted Dennison
2002-02-23 13:32 ` Wannabe h4x0r
2002-02-23 13:53 ` Jeffrey Creem
2002-02-25 18:00 ` Pascal Obry
2002-02-23 14:05 ` Samuel Tardieu
2002-02-23 14:31 ` Florian Weimer
2002-02-23 20:09 ` Wannabe h4x0r
2002-02-25 22:06 ` Wes Groleau
2002-02-25 0:54 ` Adrian Hoe
2002-02-25 12:52 ` Ian S. Nelson
2002-02-23 16:41 ` Nick Roberts
2002-02-23 17:57 ` Richard Riehle
2002-02-23 3:11 ` Robert Dewar
2002-02-23 3:36 ` Dann Corbit
2002-02-23 4:42 ` Larry Kilgallen
2002-02-25 14:05 ` Marin David Condic
2002-02-26 0:48 ` Larry Kilgallen
2002-02-23 18:12 ` David Starner
2002-02-23 16:41 ` Nick Roberts
2002-02-20 13:48 ` Stephen Leake
2002-02-20 1:06 ` eunux
2002-02-23 16:41 ` Nick Roberts
2002-02-25 14:28 ` Marin David Condic
2002-02-27 5:23 ` James Ross
2002-03-05 14:28 ` Marin David Condic
2002-03-07 6:05 ` James Ross
2002-03-07 15:48 ` Marin David Condic
2002-03-08 16:03 ` Wes Groleau
2002-03-08 16:31 ` Marin David Condic
2002-03-09 9:46 ` David Starner
2002-03-09 14:43 ` Marin David Condic
2002-03-11 14:19 ` Wes Groleau
2002-03-11 15:24 ` Hyman Rosen
2002-03-09 15:40 ` Wes Groleau
2002-03-09 15:52 ` Marin David Condic
2002-03-09 17:54 ` tmoran
2002-03-09 18:20 ` Marin David Condic
2002-03-08 20:31 ` Dann Corbit
2002-03-09 15:42 ` Wes Groleau
2002-03-09 16:34 ` Ian S. Nelson
2002-03-09 18:15 ` Marin David Condic
2002-03-10 6:44 ` Hyman Rosen
2002-03-10 14:37 ` Larry Kilgallen
2002-03-11 5:03 ` Hyman Rosen
2002-03-11 14:49 ` Wes Groleau
2002-03-11 15:30 ` Hyman Rosen
2002-03-11 17:30 ` Wes Groleau
2002-03-11 17:45 ` Hyman Rosen
2002-03-11 19:58 ` Wes Groleau
2002-03-12 17:42 ` Warren W. Gay VE3WWG
2002-03-12 20:39 ` Wes Groleau
2002-03-10 15:03 ` Matthew Woodcraft
2002-03-10 19:40 ` David Starner
2002-03-11 5:06 ` Hyman Rosen
2002-03-11 15:11 ` Marin David Condic
2002-03-18 16:18 ` Tucker Taft
2002-03-18 17:24 ` Marin David Condic
2002-03-25 17:25 ` Darren New
2002-03-25 19:36 ` Marin David Condic
2002-03-26 6:34 ` James Ross
2002-03-26 13:56 ` Marin David Condic
2002-03-26 17:55 ` Darren New
2002-03-11 14:47 ` Wes Groleau
2002-03-11 15:16 ` Hyman Rosen
2002-03-11 16:04 ` Marin David Condic
2002-03-12 17:45 ` Warren W. Gay VE3WWG
2002-03-11 14:57 ` Marin David Condic
2002-03-11 14:39 ` Wes Groleau
2002-03-13 1:03 ` Pam Kelly
2002-03-13 1:45 ` Gary Scott
2002-03-13 7:27 ` David Starner
2002-03-13 14:02 ` Marin David Condic
2002-03-13 22:42 ` Pam Kelly
2002-03-13 23:28 ` Larry Kilgallen
2002-03-27 0:51 ` Brian Catlin
2002-03-13 23:51 ` Marin David Condic
2002-03-14 15:54 ` Alfred Hilscher
2002-03-13 13:54 ` Marin David Condic
2002-03-14 13:17 ` Larry Kilgallen
2002-03-14 17:32 ` Marin David Condic
2002-03-13 13:49 ` Marin David Condic
2002-03-14 2:09 ` Pam Kelly
2002-03-14 16:01 ` Alfred Hilscher
2002-03-14 17:43 ` Marin David Condic
2002-03-16 9:06 ` DPH
2002-03-16 8:00 ` James Ross
2002-03-16 16:52 ` Marin David Condic
2002-03-17 3:40 ` Rod Haper
2002-03-16 20:07 ` Robert A Duff
2002-03-17 11:23 ` Preben Randhol
2002-03-17 21:36 ` James Ross
2002-03-17 22:12 ` Darren New
2002-03-18 1:25 ` James Ross
2002-03-18 3:26 ` Darren New
2002-03-18 5:06 ` James Ross
2002-03-18 5:12 ` Darren New
2002-03-18 7:14 ` James Ross
2002-03-20 10:03 ` Mats Karlssohn
2002-03-19 6:20 ` David Starner
2002-03-23 6:06 ` James Ross [this message]
2002-03-23 12:34 ` Preben Randhol
2002-03-23 21:44 ` David Starner
2002-03-24 3:47 ` Larry Kilgallen
2002-03-25 19:00 ` Preben Randhol
2002-03-25 19:27 ` Marin David Condic
2002-03-26 16:25 ` Wes Groleau
2002-03-26 18:01 ` Marin David Condic
2002-03-27 13:32 ` Wes Groleau
2002-03-27 14:22 ` sk
2002-03-27 16:39 ` Darren New
2002-03-27 17:07 ` Marin David Condic
2002-03-28 4:40 ` tmoran
2002-03-28 14:43 ` Marin David Condic
2002-03-28 5:25 ` sk
2002-03-28 4:34 ` James Ross
2002-03-28 14:37 ` Marin David Condic
2002-03-29 17:52 ` Darren New
2002-03-26 20:23 ` Larry Kilgallen
2002-03-28 13:25 ` Larry Kilgallen
[not found] ` <a7ntns$7hh$Organization: LJK Software <vEY3SfNlq6Uc@eisner.encompasserve.org>
2002-03-28 14:58 ` Marin David Condic
2002-03-29 11:29 ` Larry Kilgallen
[not found] ` <a7ntns$7hh$Organization: LJK Software <Aj0bpsr17AIQ@eisner.encompasserve.org>
2002-03-29 14:02 ` Marin David Condic
2002-03-27 20:22 ` John R. Strohm
2002-03-19 6:22 ` David Starner
2002-03-13 14:08 ` Wes Groleau
2002-03-13 22:02 ` Pam Kelly
2002-03-13 22:19 ` Larry Kilgallen
2002-03-13 23:26 ` Pam Kelly
2002-03-14 0:49 ` Adrian Knoth
2002-03-14 13:14 ` Larry Kilgallen
2002-03-14 17:49 ` Marin David Condic
2002-03-15 16:41 ` Aidan Skinner
2002-03-15 19:26 ` Mark Biggar
2002-03-15 20:14 ` Marin David Condic
2002-03-15 8:03 ` Tarjei T. Jensen
2002-03-12 2:23 ` James Ross
2002-03-12 15:28 ` Marin David Condic
2002-03-13 5:52 ` James Ross
2002-02-27 11:30 ` Jorge Real
2002-02-28 5:34 ` tmoran
2002-02-28 8:56 ` chris.danx
2002-02-28 14:23 ` Wes Groleau
2002-02-28 13:19 ` Georg Bauhaus
2002-02-28 14:19 ` Wes Groleau
2002-02-28 15:24 ` chris.danx
2002-02-28 15:34 ` Ian Wild
2002-02-28 16:23 ` chris.danx
2002-02-28 17:52 ` Dave Poirier
2002-02-28 17:57 ` Dave Poirier
2002-03-02 4:01 ` Chad R. Meiners
2002-02-28 18:32 ` Tom Moran
2002-02-28 17:47 ` Dave Poirier
2002-02-27 21:50 ` Ken Pinard
2002-02-28 2:38 ` Dave Poirier
2002-02-28 13:49 ` Wes Groleau
2002-03-11 11:56 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox