Horton’s Who Done It?

Higher-Order Responsibility Tracking of Objects in Networks

The Dilemma

For IBAC to be effective reactively,must stop using itproactively.

ABAC better for proactivecontrol anyway.

How to get best of both?

b.foo(c)

s2.intro(..)

s2.intro(..)

s1.deliver(..)

return giftwrap(s3)makeStub(..)

makeStub(..)

wrap(s3)

wrap(s3)

return gift

unwrap( )

unwrap( )

makeProxy(..)

makeProxy(..)

E.call(..)