Proceedings of the 2005 workshop on Issues in the theory of security