Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi. Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive, 2006:56, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.