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