作者：景建笃可证明安全uc模型演进过程
摘要：基于计算模型的密码学协议的安全证明是协议证明方法中最严谨、可靠的证明方法,同时,它的证明过程又是最复杂且易出错的.其中,通用可组合的安全证明模型研究的是复杂网络环境下一个挑战协议与其他协议的任意组合时的安全问题.研究了通用可组合理论的演进过程.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《郧阳师范高等专科学校学报》是一本有较高学术价值的大型双月刊，主动为地方政治、经济、文化、教育发展服务，形成集学术性、师范性、科学性、地方性为一体的鲜明办刊特色。自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《郧阳师范高等专科学校学报》已正式更名为《汉江师范学院学报》。
杂志详情
