Rights Amplification

Marcus Brinkmann marcus.brinkmann at ruhr-uni-bochum.de
Thu Jun 16 11:58:13 CEST 2005

At Thu, 16 Jun 2005 11:44:31 +0200,
Marcus Brinkmann at ruhr-uni-bochum de wrote:
> The difference in the two models is not the notion of "ownership".

> The difference of the two models is that in Espen's model you read
> out a payload,

It's awful if you get lost in one detail just to forget about another :)

As I said, the payload makes a big difference, but as you said, that
there is a unique owner in Espen's model equally makes a big
difference, because only then you can do a fast verification and
lookup.  It's really the combination of both which makes it work.


More information about the l4-hackers mailing list