SGI work in the area

[Robert Watson]

On a similar note, Trusted Information Systems (now a part of Network
Associates) designed an implemented two trusted operating systems, Trusted
XENIX, and TMach.  Trusted XENIX achieved evaluation at the B2 level, but
I don't believe TMach was ever formally certified.  TMach was targetted at
the B3 feature set, and extensive documentation is available online for
those interested:

	ftp://ftp.tislabs.com/pub/TMACH/

This includes architectural level documents, interface specifications for
services and libraries, and executive summaries.  The TMach design is
particular interesting because it is based on a microkernel operating
system architecture, which meshes well with the concept of a security
kernel and TCB.

If someone has a more formal clarification on the TMach certification
status, feel free to let me know :-). 

On Wed, 12 Apr 2000, David Collier-Brown - Sun Canada wrote:

> SGI did trusted Irix some time ago, and has made
> code and documents available for "developers interested in
> implementing trusted systems"
> 
> 	See http://oss.sgi.com/projects/ob1/
> 
> --dave
> 
> To Unsubscribe: send mail to majordomo at trustedbsd.org
> with "unsubscribe trustedbsd-discuss" in the body of the message
> 


  Robert N M Watson 

robert at fledge.watson.org              http://www.watson.org/~robert/
PGP key fingerprint: AF B5 5F FF A6 4A 79 37  ED 5F 55 E9 58 04 6A B1
TIS Labs at Network Associates, Safeport Network Services

To Unsubscribe: send mail to majordomo at trustedbsd.org
with "unsubscribe trustedbsd-discuss" in the body of the message