通用可组合安全证明理论的演进  

The Evolution of Universally Composable Security Framework

作　　者：景建笃[1] 

机构地区：[1]郧阳师范高等专科学校计算机科学系,湖北十堰442000

出　　处：《郧阳师范高等专科学校学报》2015年第3期34-37,共4页Journal of Yunyang Teachers College

摘　　要：基于计算模型的密码学协议的安全证明是协议证明方法中最严谨、可靠的证明方法,同时,它的证明过程又是最复杂且易出错的.其中,通用可组合的安全证明模型研究的是复杂网络环境下一个挑战协议与其他协议的任意组合时的安全问题.研究了通用可组合理论的演进过程.The paradigm of provable security of cryptography protocols based on computation theory is the most rigorous,reliable one in all of paradigms. Meanwhile,the paradigm is also the most intricate and error- prone. Universally composable( UC) security provides this guarantee in a strong sense: A UC-secure protocol maintains its security properties even when composed concurrently with an unbounded number of instances of arbitrary protocols. We explore the evolution of UC-secure framework.

关 键 词：可证明安全 UC模型 演进过程 

分 类 号：TN918.1[电子电信—通信与信息系统]