【摘 要】
：
该文首先基于CSP的模型检验技术具有自动化分析程度高的特点,应用CSP模型检验技术与工具来分析验证Helsinki、双向认证协议和ASW公平认证协议,并发现了一些漏洞;但由于CSP模
论文部分内容阅读
该文首先基于CSP的模型检验技术具有自动化分析程度高的特点,应用CSP模型检验技术与工具来分析验证Helsinki、双向认证协议和ASW公平认证协议,并发现了一些漏洞;但由于CSP模型检验技术存在状态空间爆炸问题,于是进一步提出了结合进程代数和逻辑推理的基于良构符号迹的分析模型,并给出了有效的密码协议验证算法,而且利用SML语言实现了算法,从而实现了密码协议在一定程度上的自动化分析.
其他文献
互联网时代Web已经成为各类海量数据和信息的主要载体,成为人们获取大量有用信息的主要数据源。当前,电子商务领域的蓬勃发展,垂直搜索、社交网络的舆情和情感分析等诸多应用
为了把大量的业务数据转变为有用的决策信息,该文研究和探讨了建立基于数据仓库的银行商务智能系统的理论和方法,包括数据处理、数据存储和数据的分析展现.首无,详细分析了中
该文可分为五个部分:第一部分是对国内外查询结果大小估计模型的介绍和分析.第二部分针对当前广泛应用的直方图估计模型进行了深入探讨.第三部分提出了两种新的限定误差直方
该文从分组密码安全性角度出发,介绍了分组密码、S盒和布尔函数的设计准则,介绍了一种大规格扩散混合安全密码组件(扩压函数)的新理论.扩压函数由一个扩散矩阵和一个布尔函数
人工智能中的遗传算法和模糊技术近年来发展迅速,特别是模糊技术已经在各个方面被广泛应用,遗传算法的应用虽然没有模糊技术广泛,但是近年来对它的理论及应用研究日益升温.模
尽管在实验室环境下很多计算机语音识别系统有很好的性能，但是当环境改变(增加噪音、改变信道)时，系统的识别性能急剧变坏。更有甚者，部分识别系统的误识率增加了几倍。这说明语
该文研究并实现了一个口语对话系统EasyNav,重点研究其语言理解部分.EasyNav场景为清华校园内地点信息查询服务,具有真实应用背景,其文本特点是用户主导的连续查询问句. 该文
该文的研究内容包括：软件可靠性评估的基础--软件故障数据;软件可靠性评估的核心--软件可靠性模型.在对软件故障数据进行了透彻的分析后,根据软件可靠性模型理论的研究现况,该
如何在复杂多样的信息家电硬件环境中构建一个既能和Internet连接，又能进行内部控制的家庭网络，软件平台是关键的决定因素。本文致力于探讨家庭网络通用软件平台的概念和方法，重
在普适计算中,上下文持续快速变化,上下文感知应用根据上下文的变化自动调整自身的状态和行为以作出适应。然而,由于不可预测的环境噪声和动态变化等诸多因素的影响,很容易造