搜索结果: 1-2 共查到“密码学 Universally Composable Symbolic Analysis”相关记录2条 . 查询时间(0.076 秒)
Universally Composable Symbolic Analysis for Two-Party Protocols based on Homomorphic Encryption
Cryptographic protocols Security analysis
2014/3/12
We consider a class of two-party function evaluation protocols in which the parties are allowed to use ideal functionalities as well as a set of powerful primitives, namely commitments, homomorphic en...
Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange
cryptographic protocols Automated Proofs Universal Composition Diffie-Hellman key exchange forward secrecy
2010/7/13
Canetti and Herzog (TCC'06) show how to efficiently perform fully automated, computationally sound security analysis of key exchange protocols with an unbounded number of sessions. A key tool in their...