【摘 要】
：
中间人(MitM)攻击是强健安全网络(RSN)面临的一类严重安全威胁。参照 802.1X-2004认证者和申请者状态机模型，从RSN 关联建立过程的整体视角，对RSN中MitM 攻击进行系统性分析。指出现有文献关于RSN中MitM 攻击问题研究方面存在片面性，提出RSN中一个MitM 攻击框架和有效攻击条件，并给出该框架下一个有效攻击实例。分析表明，RSN 采用强双向认证方法时可抗MitM 攻击，
【机 构】
：
哈尔滨工程大学 计算机科学与技术学院，黑龙江 哈尔滨 150001 解放军汽车管理学院，安徽 蚌埠 233011
【出 处】
：
第四届中国计算机网络与信息安全学术会议(CCNIS2011)
论文部分内容阅读
中间人(MitM)攻击是强健安全网络(RSN)面临的一类严重安全威胁。参照 802.1X-2004认证者和申请者状态机模型，从RSN 关联建立过程的整体视角，对RSN中MitM 攻击进行系统性分析。指出现有文献关于RSN中MitM 攻击问题研究方面存在片面性，提出RSN中一个MitM 攻击框架和有效攻击条件，并给出该框架下一个有效攻击实例。分析表明，RSN 采用强双向认证方法时可抗MitM 攻击，未采用强双向认证方法时易遭MitM 攻击。
其他文献
采用以活性炭为吸附剂的双塔真空变压吸附实验装置，用正交实验的方法研究了解吸压力，吸附塔高径比，原料气甲烷体积分数三个因素对乏风瓦斯(VAM)提浓效果的影响。结果表明：解吸压力在所有因素中对提升比率影响最大，原料气甲烷体积分数对实验结果的影响位居其次，吸附器长度的影响最小。并且相比于其他两个参数，解吸压力对提升比率的影响是决定性的。解吸压力越高，提升比率越低。在维持相同的循环时间和吸附与解吸压力条件
氦离子化检测器是一种能检测十的负六次方到十的负九次方级微量杂质的浓度型检测器，根据其工作原理，选择合适的操作条件，它对各种化合物均应有响应，目特别适用于包括氖在内的永久性气体分析。随着科学技术的进步和仪器化水平的提高，己逐渐用于复杂的无机、有机及高分子化合物分析，并可按照不同要求设计出各种气路的色谱仪，灵敏度高、线性范围宽、通用性强、应用领域广，对于分析高纯气体样品优势明显。本文主要论述了用氦离子
介绍了用英国Systech公司LRT-660气相色谱仪，脉冲放电式离子化检测器（PDD），分析食品添加剂二氧化碳中氧气体标准物质的实验原理、方法和条件。用所建立的分析方法和条件分别对二氧化碳中氧气体标准物质色谱分析方法的精密度、方法的线性度进行了考察。氧气体标准物质量值（10～30）×10-6 (mol/mol)范围内，方法精密度≤0.39％；氧气体标准物质量值(2～100)×10-6mol/mo
文章论述了电力系统中有源电力滤波器的谐波问题，分析了产生谐波的原因。同时，针对目前最新研究谐波检测成果，分析了自适应对消谐波检测，FBD(Fryze-Buchholz —Dpenbrock）法谐波检测，小波变换等方法的最新进展，为实现有源滤波器的谐波检测提供的参考依据，最后对谐波检测方法发展趋势进行了展望。
提出了一种在仿人机器人关节处采用双向动力学建模的方法。考虑到关节处两个不同传输方向的功率传输效率，根据地面约束力和关节力矩的定义，将仿人机器人简化为五连杆结构，采用Lagrange 方程建立了仿人机器人的双向动力学模型。对双向动力学模型进行计算机仿真，在小型仿人机器人SHR-6S 平台上进行对比实验，实验结果验证了该双向动力学模型的有效性。
文章通过LabVIEW与MATLAB 进行混合编程的方式，借助两软件各自的优势，设计出具有模糊自适应PID 控制算法的虚拟仪器，并对不同的对象特性进行控制系统的仿真与三容水箱液位的实时测控。实验结果表明，模糊自适应PID 控制系统的控制效果良好，具有较强的鲁棒性。
针对静止无功发生器（SVG）系统控制器的设计，结合Lyapunov 直接法和PI的优点，提出采用Lyapunov 理论设计电压环，采用最优PI 参数计算方法设计电流环的方法。该方法选择参考直流电压的平方作为变量构造 Lyapunov 函数，从Lyapunov 稳定性理论出发，设计电压环的控制律。仿真与实验结果表明SVG 系统能有效跟踪参考信号，鲁棒性强。
针对配电网静止同步补偿器(D-STATCOM)，提出采用粒子群优化(PSO)算法同时对直流电压和交流电流四个 PI 控制器进行参数整定。采用直流侧电容电压参考值与其反馈值的误差绝对值积分(IAE)作为性能指标。讨论了PSO 编码参数与优化效果的关系。分别在不同系统参数、不同给定输入、不同负载情况下，进行PSO 优化，探讨PSO的优化能力。通过仿真和实时控制实验对所设计的基于PSO算法的PI 控制器
固体氧化物燃料电池（SOFC）系统是一个非线性系统，现存的建模方法和优化控制算法很难对其进行精确的建模及优化控制。本文首先利用基于数据的建模方法，对固体氧化物燃料电池系统进行BP 神经网络建模，然后利用基于BP 神经网络的启发式动态规划(HDP）算法对固体氧化物燃料电池系统进行优化控制，并对神经网络初始权值和效用函数进行改进。Matlab 仿真结果表明，基于BP 神经网络的HDP 优化算法具有收敛
阐述了异步电机的矢量控制原理，对三相异步交流电机矢量控制系统控制过程进行了MATLAB 仿真，根据交流电机坐标变换及矢量控制理论提出了异步电机在任意同步旋转坐标系下仿真结构图的建模思想，提出了一种按s r i ωψ为状态变量在坐标系下的动态结构图。利用该结构图可以方便的构成电机的仿真模型，进行仿真计算。仿真结果符合电机实际运行特性，证实了采用该系统对三相异步电机进行控制，具有转矩波动小，转速响应快