【摘 要】
：
随着以太网的迅速发展，网络接入成为人们关注的重点。802.1x是基于端口的接入控制协议，正在逐步被各个厂商接纳用来构建接入管理系统。 本文对802.1x协议和其他常见的接入认
论文部分内容阅读
随着以太网的迅速发展，网络接入成为人们关注的重点。802.1x是基于端口的接入控制协议，正在逐步被各个厂商接纳用来构建接入管理系统。
本文对802.1x协议和其他常见的接入认证协议做了介绍对比，并详细分析了802.1x协议的典型认证流程。为了验证802.1x协议的安全性，文章应用时间自动机对协议进行了形式化建模，在UPPAAL软件工具中进行了验证和故障分析。时间自动机是用来对实时系统进行建模和验证的理论系统。UPPAAL是对时间自动机进行建模、仿真和验证的软件工具。
其他文献
随着计算机技术、多媒体技术及网络技术的飞速发展,网络学习作为一种新兴的教学组织形式,以其突破时空限制、教学资源丰富、交流反馈及时准确等无可比拟的优点冲击着传统班级
随着科学技术的进步与发展, 人民生活水平的不断提高,对医疗检测水平的要求也越来越高。脑电系统作为一种检测脑部疾病的重要医疗器械在临床诊断中发挥着重要的作用。但传统
管理信息系统是实现企事业管理现代化的有效手段,是管理科学发展的一个重要领域,它对国民经济的发展、企事业单位有效的运行有着重要的作用。 本论文以新疆地税管理信息系
概率安全分析是一种对系统安全进行定性和定量分析的综合评价技术,涉及大量的数据和复杂的计算,在现代系统日益复杂的情况下,完全由手工完成这些工作是非常困难的。使用计算
本文针对传统安全工具存在的问题，安全扫描器的基础上，通过对网络攻防的深入研究，提出了一个新的安全工具“漏洞自动检测及修补系统”，该系统专门为个人计算机用户设计。与现
在信息大爆炸的知识经济时代，如何解决数字签名的授权以及数字信息的安全传递成为当前需要迫切解决的问题，代理签名是解决这类问题的一种最有效和最具潜力的技术，同时，它又是一个
在各类工业生产控制现场,会有成百上千条的信号电缆,承担着信号传输的任务。这些电缆通常埋于地下,易受到周围物体的碰撞、挤压、以及有害物质的腐蚀,使其绝缘体受到损伤,绝缘强度下降。而保证电缆对地绝缘性能良好是一个关系到信号数据可靠传输、工业现场安全运行的重要因素,因此,在线测量电缆的绝缘参数,对掌握准确、可靠的现场数据,保护电网与各类监控系统的安全是很有必要的。 本文中所介绍的电缆绝缘测试仪是以
随着信息处理理论以及计算机技术的发展，计算机视觉的研究得到更加广泛和深入的发展，计算机视觉领域中的目标识别和跟踪是其中最重要的内容，它是融合了数字图像处理，模式识别以及
住宅社区智能化是目前国内、外住宅建设领域和信息产业领域非常热门而又前沿的话题,也是能否实现住宅产业信息化的关键问题之一。其中住宅社区智能化的规划设计和系统集成是
随着电子技术的飞速发展,计算机的软、硬件已日新月异,网络环境也发生了巨大的变化,电话银行也必须跟随计算机技术的发展进行改进。 本文面向合作银行等中小型金融机构,以