【摘 要】
：
在UC框架下,基于KR模型,对签密协议进行研究.根据签密协议的安全性要求,提出签密的理想功能函数,并依此设计协议的一般化形式;随后基于UC安全的定义,通过模拟技术,证明所设计
【基金项目】
：
基金项目：山东省自然科学基金资助项目（Y2007G37）、山东省科技攻关计划资助项目（2007GG10001012）.
论文部分内容阅读
在UC框架下,基于KR模型,对签密协议进行研究.根据签密协议的安全性要求,提出签密的理想功能函数,并依此设计协议的一般化形式;随后基于UC安全的定义,通过模拟技术,证明所设计的一般化协议安全实现了理想的功能函数,即此一般化协议是UC安全的;同时,在UC框架下对所设计协议的存在性不可伪造进行讨论,利用反证法证明其安全性;最后,从一般到具体,设计了一个具体的签密协议,同样满足UC安全性.在复杂的网络环境中,UC安全的协议作为一个模块,能与其他协议组合使用,不破坏组合协议的安全性.
其他文献
模糊性是人类语言的一个固有特点。“模糊”是一个科学概念，指的是语义外延界限的不确定性，不等于“滥用”或“误解”。语言模糊性产生的原因大致有四个：生理原因、客观原因、主
本文分七章。分别论述了汉字书法的悠久历史及其在汉民族文化中长盛不衰的深层原因和历史必然。并从美育的角度,论述了汉字书法在中国古代教育体系中的各种举措和积极成效。
研究了润扬长江大桥结构损伤预警系统的功能、体系结构、数据库和应用软件的设计与实现方法．提出了结构损伤预警系统的两级架构设计和两阶段实现方法，以保证结构损伤预警的实时
目的探究通管汤合补肾调周法治疗慢性输卵管炎性不孕症的临床效果。方法选择己确诊为慢性输卵管炎性不孕的患者56例，对患者行通管汤合补肾调周法治疗，记录患者体征和症状的改善
生活方式的变迁与城市化的快速发展对古民居构成了巨大的生存压力,如何为后人守住＂历史＂？如何解决古民居保护中＂资金＂与＂民众参与＂问题成为破解＂瓶颈＂的关键。文章以徽州古民居保护的