Proceedings of the 2007 Workshop on New Security Paradigms
ACM Digital Library