信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2012年
6期
84-86
,共3页
零知识证明%理想功能%序列组合
零知識證明%理想功能%序列組閤
령지식증명%이상공능%서렬조합
zero-knowledge%ideal functionality%sequential composition
为了降低零知识的错误概率,通常采用协议的组合操作,独立运行安全的协议,在组合情形,其安全性却并非平凡的。利用UC安全密码元件可以在协议组合过程中作为一个模块安全调用的特性,在UC框架下,通过定义理想功能Fwzk,在Fwzk混合模型下,讨论零知识协议的组合安全性问题。得到结果:基本Blum协议在序列合成时零知识性具有封闭性。
為瞭降低零知識的錯誤概率,通常採用協議的組閤操作,獨立運行安全的協議,在組閤情形,其安全性卻併非平凡的。利用UC安全密碼元件可以在協議組閤過程中作為一箇模塊安全調用的特性,在UC框架下,通過定義理想功能Fwzk,在Fwzk混閤模型下,討論零知識協議的組閤安全性問題。得到結果:基本Blum協議在序列閤成時零知識性具有封閉性。
위료강저령지식적착오개솔,통상채용협의적조합조작,독립운행안전적협의,재조합정형,기안전성각병비평범적。이용UC안전밀마원건가이재협의조합과정중작위일개모괴안전조용적특성,재UC광가하,통과정의이상공능Fwzk,재Fwzk혼합모형하,토론령지식협의적조합안전성문제。득도결과:기본Blum협의재서렬합성시령지식성구유봉폐성。
UC security is the framework in treating a stand-alone protocol and guaranteeing the secure composition. This means that a protocol may run concurrently with many other protocols, on arbitrary inputs and in adversarial controlled way, if it is UC security in the sense that it emulates an ideal functionality, it can be treated as a piece of that ideal functionality in overall system security analysis. In this paper, ZK under UC framework is studied, and the study proves that Blum protocol is closed under sequential composition in the Fwzk-hybrid model.