Delegating Responsibility in Digital Systems: Horton's Who Done It

Mark S. Miller
Jed Donnelley
Alan H. Karp
2nd USENIX Workshop on Hot Topics in Security, USENIX (2007), pp. 5

Abstract

Programs do good things, but also do bad,
making software security more than a fad.
The authority of programs, we do need to tame.
But bad things still happen. Who do we blame?

From the very beginnings of access control:
Should we be safe by construction,
or should we patrol?
Horton shows how, in an elegant way,
we can simply do both, and so save the day.

with apologies to Dr. Seuss