搜索结果: 1-1 共查到“军事学 Equational security”相关记录1条 . 查询时间(0.078 秒)
Equational Security Proofs of Oblivious Transfer Protocols
Equational security universal composability oblivious transfer
2016/6/20
We exemplify and evaluate the use of the equational framework of Micciancio and Tessaro (ITCS 2013) by analyzeing a number of concrete Oblivious Transfer protocols: a classic OT transformation to incr...