Designing Secure Communication Protocols from Trust Specifications

Christos H. Papadimitriou, P. Venkat Rangan, Martha Sideri. Designing Secure Communication Protocols from Trust Specifications. In Somenath Biswas, Kesav V. Nori, editors, Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Volume 560 of Lecture Notes in Computer Science, pages 360-368, Springer, 1991.

Abstract

Abstract is missing.