A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract) 论文

摘要

Article Free Access Share on A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract) Authors: Mihir Bellare Department of Computer Science & Engineering, Mail Code 0114, University of California at San Diego, 9500 Gilman Drive, La Jolla, CA Department of Computer Science & Engineering, Mail Code 0114, University of California at San Diego, 9500 Gilman Drive, La Jolla, CAView Profile , Ran Canetti IBM T.J. Watson Research Center, PO Box 704, Yorktown Heights, New York IBM T.J. Watson Research Center, PO Box 704, Yorktown Heights, New YorkView Profile , Hugo Krawczyk Department of Electrical Engineering, Technion, Haifa 32000, Israel and IBM T.J. Watson Research Center, New York Department of Electrical Engineering, Technion, Haifa 32000, Israel and IBM T.J. Watson Research Center, New YorkView Profile Authors Info & Claims STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computingMay 1998Pages 419–428https://doi.org/10.1145/276698.276854Published:23 May 1998Publication History 264citation2,464DownloadsMetricsTotal Citations264Total Downloads2,464Last 12 Months215Last 6 weeks25 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF