Proceedings of the 2000 workshop on New security paradigms