【摘 要】
：
对安全协议的安全性进行全面评估是十分重要的,但难度非常大.目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等.为了更全
论文部分内容阅读
对安全协议的安全性进行全面评估是十分重要的,但难度非常大.目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等.为了更全面地评估安全协议的安全防护能力,从攻击者的能力和攻击后果两个角度,提出一种新的安全协议攻击分类,并分析了不同攻击类型的特点与机理.在此基础上,探讨了安全协议的一种安全性评估框架,有助于更客观地评价安全协议的实际安全防护能力和设计新的协议.
其他文献
传统实践类课程在实施教学过程中存在简单套用形式的问题，在注重实践教学的同时忽略了学生综合能力的培养与提升。文章在实践教学中通过对项目教学法的应用与总结，在培养学生综
Internet + medical health have become anational key strategy, and the industries of medicalinformation have ushered in new development.Internet hospitals have b
“上汽收购了韩国的双龙，双龙的知识产权就是上汽的了，你说，双龙应该是什么品牌呢？”科技部科技促进发展研究中心研究员金履忠不仅十分关注汽车产业，而且在国内外一些大企业做过自
贫困生认定工作是高校贫困生资助工作的关键，认定的准确性也关系着国家资助资金的合理运用。但当前高校在贫困生认定过程中因为缺乏量化指标、生源地贫因证明的可信度低以及评
目的 对产妇产后出血的原因进行分析,提出具有针对性的护理对策,对产妇进行护理,尽量控制和降低产后出血的发生率.方法 选取我院 2015年4月至 2016年4月收治的110例出现产后
目的研究腰椎峡部裂及椎体滑脱的手术治疗选择.方法对136例腰椎峡部裂及椎体滑脱患者分别采用改良Scott技术(Ⅰ组,95例)、后外侧融合坚强内固定(Ⅱ组,26例)和后路360°融
重症腰椎间盘突出症是指椎间盘突出或脱垂体积大，压迫马尾神经及神经根。笔者于2002年12月～2005年6月采用显微内窥镜椎间盘切除术（MED）急诊治疗重症腰椎间盘突出症40例。于2000年
一、第四届全国大学生运动会在湖北武汉举行。二、全国千名优秀体育教师暨十佳体育教师表彰会在人民大会堂举行。三、国家教委在九省市进行初中升学考试体育试点。四、大、中
目的:研究延伸护理对2型糖尿病患者血糖控制的作用。方法:观察90例2型糖尿病患者进行不同方案护理的疗效。结果:护理后观察组FBG、2hPG、HbAlc水平均较对照组低,血糖控制情况
文章针对银武高速公路陕西境内商州至漫川关段内老虎岭隧道的特点，设计了大跨径双连拱隧道的进洞方案，探讨了洞口开挖与加固、洞身开挖、初期支护、监控量测等关键工序的施工方