comp.lang.ada
 help / color / mirror / Atom feed
From: James Ross <rem.jr@rem.webross.com>
Subject: Re: Ada Operating System
Date: Wed, 27 Mar 2002 22:34:16 -0600
Date: 2002-03-27T22:34:16-06:00	[thread overview]
Message-ID: <6c55au8m539tmegu6u7rpli47ik51ssvrm@4ax.com> (raw)
In-Reply-To: a7qd2a$b8u$1@nh.pace.co.uk

On Tue, 26 Mar 2002 13:01:44 -0500, "Marin David Condic"
<dont.bother.mcondic.auntie.spam@[acm.org> wrote:

>There would obviously be a need to make sure that the process by which this
>was done would not be so simple as to let it happen accidentally, nor should
>it be allowed without some confirmation that the person doing it was
>actually allowed to do so. Hence the notion of a "Secret Handshake".

I agree that such a "shoot yourself in the foot" mode should be a big
inconvenience or you would have people using that mode to solve common
problems.  I.e. logging in as root on UNIX to do the stuff you have to
do. This mode should be for disaster recovery only and avoided
completely under any other conditions.  A version of the OS could be
compiled specifically for developing the OS itself that could switch
easily between the modes **IF** that were necessary, I am not to sure
that it would be.

One idea that came to mind is that during an install by the Admin a
key would be given to him.  Something equivalent of an OEM key for a
MS product. (aren't those a pain?).  Only on a cold reboot and with
that key would he be able to enter the unsafe mode.  That key would be
stored on the system encrypted using industrial strength encryption to
make it very difficult for hackers to break it even if they did get
passed the other security protecting where it is stored.

>Clearly if this, as yet hypothetical OS, were to be produced and made
>available in source code, someone would find any back doors & make them
>known. That actually brings up another problem: Assuming you were billing
>the system as "secure" by some definition, how would you be sure that any
>given distribution *didn't* include a back door? That would be one heck of
>an audit process, eh? :-)

You could come up with an Open Source License that stipulated that you
can use it for free but you can't publicly distribute it.  Also, any
changes made to the OS code base must be given back to the project.
Then maintain a single distribution point of releases.  Anyone wanting
to make sure they got the "secure" version would then make sure they
got it from that single distributor. This would definitely avoid the
distribution plethora like you have with Linux. 
JR

>
>MDC




  parent reply	other threads:[~2002-03-28  4:34 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
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 [this message]
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