【摘 要】
：
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的
论文部分内容阅读
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性.
其他文献
介绍了一种能产生低于－１００℃霜点的校准系统，该系统将一股干气与一股湿气进行混流，干气用一个液氮冷槽产生。同时还介绍了几个有用的设计特点，如；在气流通路中不含一头封闭的支路，取消
本文介绍了一种应用程序中业务逻辑的实现方案。该方案使用脚本语言来定义业务逻辑，由业务逻辑编译器来生成代码，从而提高业务开发的效率和扩展性。业务逻辑编译器由业务解释模
柔性制造系统使生产加工路径有很多可选性，所以调度系统必须考虑机器调度问题。分配规则调度是一种最基本、最具影响力的动态调度方法。然而，分配规则调度方法很少考虑机器顺序
粒子群优化方法（Particle Swarm Optimization，PSO）是由Kennedy和Eberhart于1995年提出的一种基于群体智能（Swarm Intelligence）的演化计算技术，用于求解各类优化问题。PSO方法通过
基于Internet的通信子网中的通信通常使用C／S（客户端／服务器）模式，这种通信模式决定了不利于人们跨地域进行资源共享。因此，必须打破网络以Internet为基础设施的格局，使每台在线计算
SAR图像分类是＆讯图解译中非常重要的环节，但由于SAR图像中相干斑噪声的存在，使得传统方法不能很好地对SAR图像进行分类。再之，SAR图像分类具有计算量大、耗时长的特点，SAR所能获
网络蠕虫已经严重威胁了网络的安全.为了有效防治网络蠕虫,首要任务必须清楚有什么扫描方法,以及这些扫描方法对蠕虫传播的影响.为此,本文构建了一个基于离散时间的简单蠕虫
基于最新发展的SBM-DDF模型,测度2008～2014年中国制造业绿色创新增长指数,并将制造业行业的知识积累异质门槛纳入非研发投入驱动绿色创新增长机理框架,运用改进的动态门槛回归
介绍了基于多构件软件的稳定性度量的一种模式，包括对其中各个构件及其类型的度量，并且利用该模式替换关键构件，找出合理可重用的构件组。
在传感器网络实时监测应用中，大量传感器散布在监测区域中感知监测域的各种环境或监测对象的信息，一组功能有限的传感器往往相互协作地完成一个大的实时感知任务，协作性是传感器