论文部分内容阅读
本文采用通用可复合安全框架分析方法分析、完善和补充了协议的安全性证明，但发现Y-SPH-OT协议仅仅是静态半诚实攻击模型可复合安全的，在自适应攻击模型中是不安全的，文章讨论了Y-SPH-OT协议在自适应攻击中的失败的原因。
Y-SPH-OT协议的安全性分析
【摘 要】
：
本文采用通用可复合安全框架分析方法分析、完善和补充了协议的安全性证明，但发现Y-SPH-OT协议仅仅是静态半诚实攻击模型可复合安全的，在自适应攻击模型中是不安全的，文章讨论了
【机 构】
：
西安电子科技大学计算机网络与信息安全教育部重点实验室,西安,710071
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年期
其他文献
本文对基于语义Web的商品语义检索系统进行了研究。文章围绕语义Web技术、基于本体的智能信息检索、手机商品语义检索系统(MPPSRS)的实现等进行了论述。
本文对基于粒子群算法的数据挖掘技术在入侵检测中的应用进行了研究。文章围绕粒子群算法、基于PSO的数据挖掘、实验结果及分析等进行了论述。
目的:研究复方丹参滴丸对急性冠脉综合征(ACS)患者血清妊娠相关血浆蛋白A(PAPP-A)和高敏C-反应蛋白(hs-CRP)水平的影响.方法:采用随机、对照的方法,将88例经选择性冠状动脉造
本文对神经网络方法在入侵检测中的应用进行了研究。文章围绕基于神经网络的入侵检测、基于ANN的入侵检测模型、仿真和评估等进行了论述。
本文对几个图论问题在固定BT模型下的指数下界进行了研究。文章在固定BT模型下证明了最大割问题下界是Ω(2[n/18])，最小支配集问题下界是Ω(2[n/19])，最大独立集问题下界是Ω(2
本文对基于概念向量空间模型的信息检索方法进行了研究。文章介绍的基于概念向量空间的信息检索方法是利用语言学方法词汇链和义类词典WordNet引入概念类，建立概念向量空间，在
胰高血糖素样肽-1（Glucagon—like peptide-1，GLP-1）是一种肠道L细胞分泌的肠降糖素，由30个氨基酸组成。GLP-1与受体结合后具有一定的抗糖尿病作用，但其体内半衰期短（约2min），临床应
本文系统介绍了生物信息学中的非常重要的序列比对问题，并针对带约束的星形多序列比对进行了深人的研究，证明了在某些给定的打分矩阵下，带约束的星形多序列比对是不存在常数近似
胡萝卜的栽培多以秋季为主,但近几年来,随着胡萝卜药用价值的逐步发掘,人们保健意识的提高,市场需求促使胡萝卜春季栽培面积逐渐扩大,虽然春季栽培技术难度大,但效益很高。
本文对基于图像的规则模型形状的三维重建方法进行了研究。文章在提出了一种规则模型形状的三维重建方法。实验表明，该重建方法对规则物体重建效果较好，但匹配点的精度仍然需要