Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

著者: Ran Canetti, Hugo Krawczyk - Lecture notes in computer science 2001 被引用: 1,633