Methods research of constructing simulator in UC security proof
Huang Zhou-jing · Jisuanji gongcheng yu sheji · 2012
The difficulty of every security proof of cryptographic protocols in UC framework(universally composable security analysis framework) is to construct a simulator correctly.However,there is no generally effective method used to construct a simulator.A desired method is proposed.Firstly,the building principle of UC framework is researched,and the essential requirement of UC security is analyzed.Secondly,the existence condition and simulation content of a simulator are given.Finally,an effective and universal solution to prove the security of cryptographic protocols in UC framework is formulated.The method is helpful understanding UC framework in-depth and in analyzing cryptographic protocols accurately using the framework.