论文部分内容阅读
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞.BAN逻辑是目前使用最广泛的.文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL30协议的洋细过程.
用BAN逻辑方法分析SSL 3.0协议
【摘 要】
：
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞.BAN逻辑是目前使用最广泛的.文章介绍了BAN逻辑和SSL3.0协议,并给出了用
【机 构】
：
信息工程大学信息安全学院
【出 处】
：
计算机工程
【发表日期】
：
2001年11期
其他文献
常用的食管癌血清标志对于食管癌的早期诊断敏感性低、特异性差。近5年来,在食管癌研究领域,有关肿瘤相关抗原自身抗体方面的研究取得了较大进展,为最终找到有助于食管癌早期
本文从实验室基本结构改建和装修、洁净间建设、实验室家具设计和建设三方面讲述了北京航空航天大学生物工程系筹建生物实验室的过程,介绍了如何将有限的经费合理用于营建一
体育教学可以分为理论教学和实践教学,有些体育教师和部分高校相关部门对于实践教学不够重视,导致实践教学存在着诸多的问题,需要我们进一步做好体育实践教学的相关工作.
通过企业技术创新过程各阶段不同环节中专利信息检索应用及规范的适用报告实战研究,强调专利检索应用在创新过程中对助推企业形成自主知识产权起到重要作用,对企业如何充分利
远程教育专业人士需要担任多重角色。其中之一是教学设计者，然而，反映教师在远程教学课程中运用不同类型设计元素观念方面的文献很少。笔者议论，远程教育教师，为了成功地担任一个
目的：探讨ＣＴ对髓质海绵肾的诊断价值。材料与方法：回顾１３例髓质海绵肾（ＭＳＫ）ＣＴ表现，并与其中８例的腹部平片和排泄性尿路造影及５例的Ｂ超表现相比较。结果：髓质海绵肾的ＣＴ平扫显示肾锥体内多发小斑点
所谓标准化，就是企业里有各种各样的规范，如：规程、规定、规则、标准、要领等等，这些规范形成文字化的东西统称为标准（或称标准书）。制定标准，而后依标准付诸行动则称之为标准化。那
期刊
进入新世纪,出生于20世纪50至70年代的大多数宁夏诗人经历了青春写作和艰苦求索而逐渐成熟,步入人到中年之后的通透与沧桑、自我放逐与精神回归,这使他们的作品表现出阿多诺
用具有光学活性和生物学活性的2类化合物（取代）香豆素-3-甲酰氯和2-氨基苯并噻唑作用合成了4种新的兼具香豆素骨架和苯并噻唑基的化合物（3a-3d）,用HRMS,IR和1H NMR对化合物结构进