Return to Article Details Abstraction, indirection, and Sevareid's Law: Towards benign computing