[cap-talk] Delegating Responsibility in Digital Systems: Horton's "Who Done It?"

[Karp, Alan H]

Jed wrote:
> 
> A in step (1), executes b.foo(c),
> "thinking" it is sending the message "foo" to receiver
> B with a reference to object C as an argument.
> 
This statement is tied back to the earlier comparison with Polaris and
Plash, which provide protection without changing the application.
"Thinks" is meant to denote that an application can be written for a
Horton-free environment and later run without modification on top of
Horton.  Of course, there is still the bootstrap problem of getting
Horton under the application in the first place, but this paper only
covers the inductive case.

________________________
Alan Karp
Principal Scientist
Virus Safe Computing Initiative
Hewlett-Packard Laboratories
1501 Page Mill Road
Palo Alto, CA 94304
(650) 857-3967, fax (650) 857-7029
https://ecardfile.com/id/Alan_Karp
http://www.hpl.hp.com/personal/Alan_Karp