Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.csd.uwm.edu!cs.utexas.edu!husc6!encore!encore.com
From: kirschen@encore.com (David Kirschen)
Newsgroups: comp.os.mach
Subject: Re: Secure Mach
Message-ID: <9877@multimax.Encore.COM>
Date: 6 Sep 89 02:14:05 GMT
References: <13712@grebyn.com>
Sender: news@Encore.COM
Distribution: na
Organization: Encore Computer Corp
Lines: 6
In-reply-to: pat@grebyn.com (Pat Bahn)

> Does anyone know about a secure MACH?
>  I heard Mt Xinu was building one.

	Trusted Information Systems (Glenwood, Md.) is building a
prototype version of a "Trusted Mach".  You might inquire of
homayoon@tis.com for more information.