Dan Zhou, Shiu-Kai Chin. Verifying privacy enhanced mail functions with higher order logic. In Rebecca N. Wright, Peter G. Neumann, editors, Network Threats, Proceedings of a DIMACS Workshop, December 2-4, 1996. Volume 38 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 11-20, DIMACS/AMS, 1996.
Abstract is missing.