Proceedings of the 2004 ACM workshop on Formal methods in security engineering
On-Campus Access Only (IP based access)