【摘 要】
：
密码协议的形式化正在成为国际上研究的热点，通过形式化分析密码协议来判断密码协议是否安全可靠。BAN逻辑是最早提出、最为重要的一种安全协议分析方法，被广泛地用于密码协议
论文部分内容阅读
密码协议的形式化正在成为国际上研究的热点，通过形式化分析密码协议来判断密码协议是否安全可靠。BAN逻辑是最早提出、最为重要的一种安全协议分析方法，被广泛地用于密码协议的安全性证明。文章介绍了BAN逻辑和TLS协议，用BAN逻辑分析TLS协议，从而证明TLS协议的双方认证协议是完整的、没有漏洞的。
其他文献
本文围绕统计方法在经济学中的运用展开研究。首先，从三个方面对在经济学当中运用统计方法的重要意义进行了全面的论述。其次，从市场经济体系、统计意识、专业人才培养三个方面
以伊拉克的巴士拉原油为原料,采用减压蒸馏工艺及减压蒸馏-氧化工艺,研制开发了达到进口道路沥青技术指标要求的 AH-70、AH-90新产品,并应用于工业生产.产品具有蜡含量低、较
针对对等计算（P2P）环境中日益严峻的恶意代码传播及攻击问题，通过引入多移动Agent技术，提出一种适合P2P网络系统的主动免疫机制。基于多移动Agent的P2P网络主动免疫机制借鉴了生
不符合项管理是核电工程质量保证体系的重要组成部分，对不符合项全面深入地理解对保障工程质量有着重要的意义。本文对核电工程中产生的不符合项从不同的视角进行了论述，探索了
为官日久不禁对“官”字的造字先生肃然起敬：因为他不仅活生生地画出了一张官场图，也把为官者刻画得淋漓尽致、入木三分，又出神入化、惟妙惟肖。
论述了主动控制与被动控制的原理、方法,分析了采取主动控制与被动控制的利弊,并就其二者关系进行了探讨,以使工程质量始终处于计划控制的状态.
本文以某油区为例进行说明,深入研究其储层物性,分析它的影响因素,实现对该储层资源进行合理开发利用。
钢管柱逆作法施工时,一方面其水平位移、垂直度等要求非常高,采用普通支撑立柱的施工方法很难达到设计要求;另一方面,在结构设计时,桩身砼与钢管内砼标号不一致,控制好高低标
采用容积法研究了在298K下7种煤样对甲烷的吸附能力,结果显示煤样的甲烷吸附等温线呈Ⅰ型,因此可用单分子吸附机理解释超临界甲烷吸附机理.在此基础上,根据FrenkelHalsey-Hil
随着RCEP谈判的不断深入,中印两国的合作受到越来越多的关注。本文通过分析中印经贸关系现状,探析RCEP的立可能会给中印经贸关系带来的机遇和挑战,最后针对中印两国在RCEP背