Reto Kohlas, Ueli M. Maurer. Reasoning about Public-Key Certification: On Bindings between Entities and Public Keys. In Matthew K. Franklin, editor, Financial Cryptography, Third International Conference, FC 99, Anguilla, British West Indies, February 1999, Proceedings. Volume 1648 of Lecture Notes in Computer Science, pages 86-103, Springer, 1999. [doi]