Proceedings of the 2003 workshop on New security paradigms
ACM Digital Library