【摘 要】
：
安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和
【基金项目】
：
国家自然科学基金资助项目(61272497);湖北省自然科学基金资助项目(2014CFB249)
论文部分内容阅读
安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能获取安全协议客户端与安全协议服务器端实施,并依据安全协议实施安全性分析采用的主要分析方法——程序验证、模型抽取、网络轨迹、指令分析等,对相关研究成果进行归类、分析、比较、总结和讨论。对未来安全协议实施安全性分析的研究方向进行了展望。
其他文献
针对装配式框架结构中梁柱节点呈半刚性的特点,采用回传射线矩阵法研究了结构的自由振动特性.对每个装配式框架结构中梁、柱分别采用2种不同的局部坐标系,并考虑力的平衡条件
目的:对Weinstein噪声敏感性(WNS)量表进行中文版修订和信效度检验。方法:采用翻译后量表对大学生进行施测,238名大学生完成了初测,267名大学生完成了再测。结果:1探索性因素
文化差异是语言学习中的重要组成部分,而礼貌准则所体现的汉英文化差异,常使学习者处于尴尬被动的境地.本文就跨文化交际中由于汉英文化背景差异而产生的礼貌准则的差异进行
<正> 1 降低农产品生产成本是现实的要求 有人把我国农产品生产成本和价格之间的关系形象地称为我国经济版图上的“黄河现象”。“黄河现象”是指在泥沙的作用下,河床被不断
【目的】对一株从连云港海域海藻样品中获得的拮抗细菌Y3F进行鉴定并且研究菌株Y3F对黄瓜土传枯萎病害的控制效果。【方法】对Y3F进行形态、生理生化特征和16S r RNA基因序列
近年来,英汉缩略语被大量地使用。汉语缩略语因为数量较少、含义明确,使用相对规范。但是,英语缩略语因为数量巨大,并且还在不断地生成之中,客观上造成使用不规范、误导民众
社会主义市场经济的快速发展,使得现阶段的物价水平会发生一定的波动,虽然这种波动是符合经济发展规律的,但是太大的波动会造成现阶段会计核算和财务管理方面的困难,如果出现
镉（Cd）是一种有毒的非必需重金属元素,可对动物组织器官造成不良影响。Cd等重金属在水生环境的污染已经成为世界范围内重要的环境问题。背角无齿蚌（Anodonta woodiana）作为“淡水
Bootstrapping资源获取方式有助于创业者降低对外部环境的依赖,顺利开展创业活动。本研究基于关系理论,建立Bootstrapping资源获取驱动机制模型,通过深入的理论分析,发现创业
为了对城市轨道交通列车交路方案进行优化，建立非线性规划模型及多目标规划模型。非线性规划模型以最少的运用车底数为优化目标，有效地将列车交路折返点及列车开行数量进行综合