修车大队一品楼qm论坛51一品茶楼论坛,栖凤楼品茶全国楼凤app软件 ,栖凤阁全国论坛入口,广州百花丛bhc论坛杭州百花坊妃子阁

[IEEE 2018第三届创新计算技术国际会议(ICICT) - 印度科因巴托尔(2018.11.15-2018.11.16)] 2018第三届创新计算技术国际会议(ICICT) - 矩形与L形波导截止波数数值计算的有限元网格生成技术

DOI：10.1109/ICICT43934.2018.9034432 出版年份：2018 更新时间：2025-09-19 17:13:59
摘要： 未来无线网络将利用多种无线技术，通过蜂窝网络、无线局域网和毫微微蜂窝等形式为移动设备提供无处不在的连接。这类网络本质上具有多样性，会采用多种不同技术来关联使用网络的移动终端设备。此外，移动用户在漫游于不同网络环境时追求无缝连接体验，这要求移动终端与无线网络在发现邻近外部网络时能够执行垂直切换。然而无论技术挑战如何，参与实体间的安全性、数据完整性及相互认证始终是异构网络中的重大关切。本文通过研究多种垂直切换解决方案探讨这些问题，并确认EAP重认证协议（ERP）是一种技术无关的灵活垂直切换机制。该协议既满足未来移动终端的移动性需求，又保障了预期的安全特性。为深入研究EAP-ERP，本文采用Casper/FDR工具分析其在不同条件下的安全属性，结果表明：尽管存在初始认知偏差，该协议确实缺乏实体间相互认证，但其密钥材料的完整性得到了充分?；?。
作者： KHOSROW RAMEZANI，ELANKAYER SITHIRASENAN，KAILE SU
AI智能分析
纠错
研究概述 实验方案

研究目的

利用Casper/FDR研究异构网络中垂直切换的EAP重认证协议(ERP)的安全属性。

研究成果

分析显示，EAP-ERP协议缺乏代理间的相互认证，但其密钥材料的完整性得到了充分?；?。采用EAP-TLS作为底层家庭认证方法使安全性略有提升。

研究不足

使用Casper工具集的主要缺点在于处理大型协议时存在问题，因为执行精化检查算法需要大量内存。为在EAP-ERP建模过程中克服这一问题（特别是当系统包含作为本地认证机制的EAP-TLS且存在四个代理时），我们不得不优化Casper输入文件以缩短编译时间。

SCI高频之选
查看全部>
  • AQ6370D
    AQ6370D
    463

    型号：AQ6370D

    厂家：Yokogawa

    智能分析： Yokogawa AQ6370D是一款性能卓越的光谱分析仪，适用于光通信领域以及光放大器（EDFA）的测量和评估。其高波长分辨率、精准度和宽动态范围使其成为实验室和工业环境中的理想选择。虽然设备体积较大且预热时间较长，但其丰富的接口和出色的显示屏设计弥补了这些不足，整体是一款值得推荐的光谱分析仪。
    获取实验方案
  • ZEISS EVO Family

    型号：ZEISS EVO Family

    厂家：Carl Zeiss Microscopy GmbH

    智能分析： ZEISS EVO系列是一款高性能?？榛璧缱酉晕⒕担视糜诓牧峡蒲?、生命科学及工业质量控制等领域。其先进的技术特性包括高分辨率、广泛加速电压范围和集成EDS系统。该产品操作直观，支持多用户环境，适合科学研究和工业应用。然而，价格信息缺失以及潜在的维护成本可能是其需要注意的方面。总体而言，ZEISS EVO系列表现优秀，值得推荐给专业用户。
    获取实验方案
  • Crossbeam Family

    型号：Crossbeam Family350/550

    厂家：Carl Zeiss Microscopy GmbH

    智能分析： ZEISS Crossbeam系列是蔡司公司推出的一款高端光电分析设备，结合了场发射扫描电子显微镜（FE-SEM）和聚焦离子束（FIB）的功能，适用于材料科学、纳米技术和半导体行业等多个领域。其高分辨率成像能力和自动化样品制备功能使其成为高通量分析的理想选择。此外，该设备支持多种检测器，具备强大的多功能性，是高精度研究和工业应用的利器。然而，由于其高端定位，设备成本较高且操作需要专业技能。总体而言，该设备表现卓越，为科学研究和工业应用提供了先进的解决方案。
    获取实验方案
  • Axio Observer

    型号：Axio Observer

    厂家：Carl Zeiss Microscopy GmbH

    智能分析： Axio Observer是一款专为金相学研究设计的倒置显微镜系统，以其高效的设计和蔡司知名的光学技术为特色。它能够快速、灵活地分析大量样品，并支持自动化操作，适用于多种应用场景，包括晶粒尺寸分析、非金属夹杂物检测等。然而，其重量较大且光源寿命较短，可能对使用者提出了额外的维护和空间管理需求。总体而言，这款产品在性能和可靠性方面表现出色，特别适合专业实验室使用。
    获取实验方案
  • ZEISS LSM 990 Spectral Multiplex

    型号：ZEISS LSM 990 Spectral Multiplex

    厂家：Carl Zeiss Microscopy GmbH

    智能分析： ZEISS LSM 990 Spectral Multiplex是一款定位于高端科研机构的光谱成像系统，具有卓越的光谱分辨率和自动化功能，适用于复杂的生物、医学及材料科学实验。其高效的荧光标签分离能力和多功能自动化设计为用户提供了强大的实验支持。然而，高昂的价格和一定的学习曲线可能对中小型实验室构成挑战。总体而言，这是一款性能优越、适应性强的高端实验设备。
    获取实验方案
  • ZEISS Sigma 300 with RISE

    型号：ZEISS Sigma 300 with RISE

    厂家：Carl Zeiss Microscopy GmbH

    智能分析： ZEISS Sigma 300 with RISE是蔡司公司推出的一款高端光谱分析仪，集成了拉曼成像和扫描电子显微镜技术，能够提供高质量的化学和结构分析。其功能强大，支持多领域应用，但设备价格较高且操作学习曲线可能较陡。适用于科研机构和高端实验室，是材料科学和生命科学领域的理想选择。
    获取实验方案
立即咨询

加载中....

论文纠错

您正在对论文“[IEEE 2018第三届创新计算技术国际会议(ICICT) - 印度科因巴托尔(2018.11.15-2018.11.16)] 2018第三届创新计算技术国际会议(ICICT) - 矩形与L形波导截止波数数值计算的有限元网格生成技术”进行纠错

纠错内容

联系方式（选填）

设备询价

称呼

电话

+86

单位名称

用途

期望交货周期

产品预约

称呼

电话

+86

单位名称

用途

期望交货周期