论文部分内容阅读
协议的分析验证方法有形式化与非形式化之分,很多代表性的协议虽然存在着缺陷,但对这些协议的非形式化分析,却可以提出一些值得借鉴的规则,参考这些规则可以避免和减少协议逻辑的漏洞,本文针对Woo-Lam两个改进协议以及SSL协议给出了攻击方法,分析协议存在的漏洞并提出如何使协议更为安全的建议.
认证协议攻击与非形式化分析
【摘 要】
：
协议的分析验证方法有形式化与非形式化之分,很多代表性的协议虽然存在着缺陷,但对这些协议的非形式化分析,却可以提出一些值得借鉴的规则,参考这些规则可以避免和减少协议逻
【机 构】
：
福州大学计算机科学与技术系．福建福州350002
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年11期
其他文献
用支持向量机(SVM)方法对中文地名的自动识别进行了探讨,对于含特征词的地名和非地名用支持向量机进行分类:结合中文地名的特点,抽取地名构词可信度及其前后词的词性作为特征向量的属性,建立了一定规模的训练集,并通过对不同kernel函数的测试,得到了地名分类的机器学习模型.实验表明,对于切分正确的地名,本方法具有良好的效果.
受历史因素、经济因素、技术限制等各种因素的影响和限制,中国很多城市的旧城区存在各种排水问题,尤其是在雨季。造成这种现象是因为早期老城区的排水系统与住宅区建设不同步
边缘效应是通过生物的和非生物因子作为条件载体或直接影响两个相邻生态系统。以西洞庭湖区作为研究区域，以杉木林和松类景观为研究对象，设置核心区和边缘区，通过生产力和物种多
学术界关于清末立宪的研究,主要纠缠于其是否为骗局,但是这并没有揭示该问题的实质。对满洲贵族而言,其关心的显然不是君主立宪制与君主制孰优孰劣的问题,而是宪政对其权力构
中国文化悠远绵长,光辉的历史长河中的点点滴滴都在向世人传递着她深邃的内涵。中国是四大文明古国之一,有着令世人惊叹的文化。让小学生从小接受中国传统文化教育是非常必要
全内反射荧光显微(Total internal reflection fluorescence microscopy,TIRFM)成像技术以其特有的宽场方式照明,具有低光毒性,高信噪比的特点,适合用于活细胞组织的生物动力学研究。然而TIRFM成像技术可实现的轴向分辨率仍属于宽场范围,为此,多角度全内反射荧光显微(Multi-angle Total internal reflection fluor