基于Spi演算的SSL3.0安全协议仿真分析

来源 :计算机仿真 | 被引量 : 1次 | 上传用户:sjcameadow
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全协议中的错误和漏洞很难完全由人工来发现,借助形式化方法对其进行分析可以保证安全协议的正确性和完整性。目前安全协议的形式化分析和验证已成为网络安全的研究热点,其中基于Sp i演算的模型验证方法是当前的一个重要研究领域。文章介绍了SSL3.0安全协议的握手过程和Sp i演算的基本概念,包括基于Sp i演算认证性的验证方法。在此基础上,基于Sp i演算形式化地建立了SSL3.0安全协议的仿真模型,给出了分析SSL3.0安全协议的详细过程,最终验证了SSL3.0安全协议的认证性。仿真分析的结果表明,Sp
其他文献
为探究EPS土工泡沫作为挡土墙缓冲层的抗震效果,利用有限元程序建立设置EPS缓冲层的挡土墙模型.通过对高为4 m和8 m的重力式挡土墙模型的地基底部边界施加不同振幅强度(0.1 g
CGF实体智能化的研究是CGF领域的一个研究重点和难点。而CGF推理决策模型设计是CGF建模的关键环节,为了使舰艇CGF实体在仿真环境中具有智能,采用了人工智能技术。该文在设计舰艇CGF系统推理决策模型过程中,使用了模糊理论来实现敌方实体威胁程度的决策,使用了人工神经网络来实现武器开火的决策。这些人工智能技术在舰艇兵力模型设计中的应用表明,它们能够有效地提高仿真实体的智能水平。
目的观察低温等离子消融术治疗鼻咽纤维管瘤的效果。方法2019年2月至2020年2月在该院接受治疗的鼻咽纤维管瘤患者82例,随机分为对照组与观察组各41例。对照组予常规电刀及单
本文主要从准确把握课后习题的编排思路与整体特征、厘清习题结构关联、把握语文要素排列特点、紧扣习题语文要素要点、依托课后练习设计教学、创造性开展教学活动等几个方面
本文作者报道了用鲻鱼、黄带鲱鲤及黄鳝作为饵料鱼饲喂大鲵的比较试验结果。饲喂黄带鲱鲤及黄鳝的大鲵,其生长比饲喂鲻鱼的大鲵为快,用三种饵料鱼轮换喂养的大鲵,比用三种饵
近年来随着我国建筑行业的飞速发展,建筑行业的管理体制、生产方式和组织结构都得到了不断发展,与此同时建筑施工企业在施工过程中,施工现场的安全事故也时有发生,如高空坠落
本文报导了采用新设计的F-105与F-106两种渔用矿物质微量元素添加剂配合饲料,在水库网箱中饲养团头鲂的效果,与对照箱相比,箱产量增加12.3~15.2%。饲料系数下降18.2%,出箱时个体
引入移动最小二乘响应面方法(MLS)建立拉延筋几何参数反求方法。该方法通过均匀拉丁方试验设计方法提取适当的设计参数样本构造响应面近似模型,并不断自适应优化响应面模型反求拉延筋几何参数。整个反求过程采用拉延筋有限元模型进行仿真计算,避免有限元模型的网格重划分及由真实拉延筋模型引入的计算效率问题。数值算例表明该方法可在设计域内快速寻优,有助于加快模具设计进程,减少生产成本。
<正> 红鳍东方(鱼屯)(Fugurubripes)主要栖息于沿海砂泥底海域,有相互残食、咬斗、鼓腹、呜叫、潜底等习性,其毒性主要存在于卵巢、肝脏和血液中。养殖的红鳍东方纯雄性两年
目的探讨耳内切口耳内镜联合显微镜中耳手术,治疗慢性中耳炎及中耳胆脂瘤的手术分组方式、手术特点及治疗效果。方法189例(195耳)慢性中耳炎及中耳胆脂瘤,根据颞骨CT检查所见