KeyKOS related system lecture at Stanford

[Bill Frantz <frantz@netcom.com>]

I received the following from Jonathan.  Those of you who are interested in
KeyKOS should know that his system, EROS, is an architectural descendent of
KeyKOS.

---------------------------------------------
Date: Sun, 19 Jan 1997 15:13:11 -0500
From: "Jonathan S. Shapiro" <shap@eros.cis.upenn.edu>
To: ...
Subject: Talk info NOTE TIME CORRECTION

I'll be giving a talk on Wednesday at Stanford in the EE380 seminar.
Details on the seminar can be found at

	http://www-leland.stanford.edu/class/ee380/

under 'winter 1996'.

The location and time are:

	Wednesday at 4:15pm
	Hewlett Packard Auditorium (Room B1)
	Gates Computer Science Building
	Stanford Univeristy

The basic structure of the talk will be:

	explain what active networking means, and why confinement and
		fault isolation are required.
		(the problem)

	identify the properties needed for confinement and fault
		isolation proofs, what capabilities are, and why
		non-capability systems do not have these properties
		(why we need them)

	describe the objects named in EROS/KeyKOS, and why these are
		the right choices for high performance
		(how to get performance)

	show how this system might be used to construct an active
		networking router or endpoint.
		(how to use them for this problem)

I'm still working on the talk, so the order may get rearranged.

Hope to some or all of you there.


Jonathan