Proceedings of the 2005 Workshop on Issues in the Theory of Security - Meadows, Catherine. (ACM,)