On Input Indistinguishable Proof Systems
Lecture Notes in Computer Science(2014)
摘要
We study Input Indistinguishable Computation (IIC), a security notion proposed by Micali, Pass, and Rosen in [14] and recently considered also by Garg, Goyal, Jain and Sahai in [19]. IIC aims at generalizing the notion of a Witness Indistinguishable (WI) proof system to general two-party functionalities and in its concurrent version (cIIC) also considers security against man-in-the-middle (MiM) attacks.
更多查看译文
关键词
Proof System,Overwhelming Probability,Security Notion,Concurrent Setting,Simulation Paradigm
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络