【摘 要】
：
密码协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术分析密码协议的理论与技术。研究成果如下：系
论文部分内容阅读
密码协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术分析密码协议的理论与技术。研究成果如下：系统介绍了密码协议的基本概念及其安全性分析的重要意义、研究进展和现状。研究了模型检测技术以及由此产生的密码协议运行模式分析法。给出了运用模型检测工具SMV分析密码协议的方法。设计了TW密码协议，运用运行模式分析法分析TW协议，并使用SMV编程实现了TW协议的安全性检测分析。在设计实现TW协议的SMV程序的基础上，设计了两方密码协议的SMV检测的通用程序。
其他文献
随着电子技术、计算机技术和通信技术的发展,无线通信技术和现场总线技术也得到了迅猛的发展,把两者结合成为一个必然的趋势。本文正是在这种背景下,结合一个机房的配电系统进行实时监控方面的课题,采用先进的电能计量芯片技术,进行基于LonWorks现场总线技术和GPRS的机房的配电系统研究。 本文通过采用专用的高精度电力参数采集芯片和GPRS无线Modem设计了集三相电力参数测量、数字输入测量、数字输
本文所阐述的课题来源于广州市科技局的科技攻关引导项目——钛白粉生产数据采集与质量控制(108-B2040030)，由华南理工大学、广州市生产力促进中心与广州市钛白粉厂合作开发。
电力系统中各重要节点的电压、电流、用电量及绝缘设备老化程度等都对整个电力系统的安全稳定运行起着关键作用，因此，对它们的监测技术也就尤为重要。对于现场以及相应节点电压电流、绝缘老化、用电量的监测，一般都在现场安排了专门的测量仪器和监控设备，这些设备的测量数据传统上以远动技术来传递到控制中心，而远动也一直为电力系统的安全运行做出了重要的贡献。但随着时代的发展，对电力系统的远程监测提出了新的要求，如对变
三维数据场可视化是目前的一个研究热点问题,是一个多学科交叉的研究领域,它涉及信号处理、数字图象处理、计算机图形学以及医学等领域的相关知识。医学图象三维重建及可视化
随着计算机技术的发展，各种新技术层出不穷，计算模式亦随着互联网技术的发展而改变，基于游览器/服务器(B/S)模式的软件以其结构灵活、操作方便、部署及维护成本低廉，得到了迅速的
本文对基于嵌入式的车载导航系统的某些关键技术进行了研究和分析，实现了系统的基本功能。主要表现在： (1)完成系统硬件平台选择后，利用微软公司提供的开发工具PlatformBuild
本文主要研究内容是视觉目标的跟踪问题,其中涉及视频环境下运动目标的自动分割、运动目标跟踪以及摄像机标定等方面的研究。视觉目标的跟踪问题是机器视觉研究中的一个重要
随着无线通信技术和网络技术的发展和融合，一种新的组网技术——无线网络技术逐渐走入人们的生活。无线网络按其所覆盖的范围可分为无线个人网(WPAN)、无线局域网(WLAN)和无线
基于虹膜的生物识别技术是一种最新的鉴别技术,通过一定的虹膜识别算法后,可以达到十分优异的准确度。虹膜识别技术的高精度使它能够在众多识别技术中占有一席之地。由于其本
计算机视觉作为自动化的眼睛，近年来取得了令人瞩目的发展，也正广泛地应用于从医学图像处理到遥感图像处理，从工业检测到文件处理的各个方面。尤其是在工业检测中计算机视觉已经