- 标题
- 摘要
- 关键词
- 实验方案
- 产品
-
[IEEE 2018 3rd International Conference on Inventive Computation Technologies (ICICT) - Coimbatore, India (2018.11.15-2018.11.16)] 2018 3rd International Conference on Inventive Computation Technologies (ICICT) - Finite element mesh generation technique for numerical computation of cutoff wave numbers in rectangular and L -shaped waveguide
摘要： Future wireless networks will exploit a variety of wireless technologies to provide ubiquities connectivity to mobile devices in the form of cellular, Wireless Local Area Networks, and femtocells. Inevitably, future wireless networks will be diverse in nature, employing a number of different techniques to associate the hand held devices that are deemed to use the network. Furthermore, mobile users seek for seamless connectivity, while roaming in the midst of different networks. This requires the mobile device and the wireless networks be capable of performing a vertical handover, when the mobile nodes find themselves in the vicinity of a foreign network. Regardless of the technological challenges in terms of security, data integrity and mutual authentication between participating agents remain a significant concern in heterogeneous networks. This paper explores these concerns by examining a number of solutions proposed for vertical handover, and identifies EAP Reauthentication Protocol (ERP) as a technology-independent flexible mechanism for a vertical handover. EAP-ERP satisfies the mobility requirements of future hand held devices while promising the desired security futures. In view of thoroughly exploring EAP-ERP, Casper/FDR has been used in this paper to analyze its security properties under various conditions. The results indicate that despite the initial perception, EAP-ERP lacks mutual authentication between agents, while the integrity of keying material is adequately protected.
关键词： security verification,formal verification,vertical handover,Heterogeneous networks,Casper
更新于2025-09-19 17:13:59
-
[IEEE 2019 IEEE 46th Photovoltaic Specialists Conference (PVSC) - Chicago, IL, USA (2019.6.16-2019.6.21)] 2019 IEEE 46th Photovoltaic Specialists Conference (PVSC) - Evaluation of ITO/a-Si Interface Fabricated by RPD Technique
摘要： The demand for spectrum resources has increased dramatically with the advent of modern wireless applications. Spectrum sharing, considered as a critical mechanism for 5G networks, is envisioned to address spectrum scarcity issue and achieve high data rate access, and guaranteed the quality of service (QoS). From the licensed network’s perspective, the interference caused by all secondary users (SUs) should be minimized. From secondary networks point of view, there is a need to assign networks to SUs in such a way that overall interference is reduced, enabling the accommodation of a growing number of SUs. This paper presents a network selection and channel allocation mechanism in order to increase revenue by accommodating more SUs and catering to their preferences, while at the same time, respecting the primary network operator’s policies. An optimization problem is formulated in order to minimize accumulated interference incurred to licensed users and the amount that SUs have to pay for using the primary network. The aim is to provide SUs with a specific QoS at a lower price, subject to the interference constraints of each available network with idle channels. Particle swarm optimization and a modified version of the genetic algorithm are used to solve the optimization problem. Finally, this paper is supported by extensive simulation results that illustrate the effectiveness of the proposed methods in finding a near-optimal solution.
关键词： 5G heterogeneous networks,network selection,optimization,Channel allocation
更新于2025-09-19 17:13:59
-
[IEEE 2019 PhotonIcs & Electromagnetics Research Symposium - Spring (PIERS-Spring) - Rome, Italy (2019.6.17-2019.6.20)] 2019 PhotonIcs & Electromagnetics Research Symposium - Spring (PIERS-Spring) - THz Applications: From Acceleration to Laser Pulse and Plasma Diagnostic
摘要： Future wireless networks will exploit a variety of wireless technologies to provide ubiquities connectivity to mobile devices in the form of cellular, Wireless Local Area Networks, and femtocells. Inevitably, future wireless networks will be diverse in nature, employing a number of different techniques to associate the hand held devices that are deemed to use the network. Furthermore, mobile users seek for seamless connectivity, while roaming in the midst of different networks. This requires the mobile device and the wireless networks be capable of performing a vertical handover, when the mobile nodes find themselves in the vicinity of a foreign network. Regardless of the technological challenges in terms of security, data integrity and mutual authentication between participating agents remain a significant concern in heterogeneous networks. This paper explores these concerns by examining a number of solutions proposed for vertical handover, and identifies EAP Reauthentication Protocol (ERP) as a technology-independent flexible mechanism for a vertical handover. EAP-ERP satisfies the mobility requirements of future hand held devices while promising the desired security futures. In view of thoroughly exploring EAP-ERP, Casper/FDR has been used in this paper to analyze its security properties under various conditions. The results indicate that despite the initial perception, EAP-ERP lacks mutual authentication between agents, while the integrity of keying material is adequately protected.
关键词： security verification,formal verification,vertical handover,Heterogeneous networks,Casper
更新于2025-09-16 10:30:52
-
[IEEE 2019 IEEE 25th International Symposium for Design and Technology in Electronic Packaging (SIITME) - Cluj-Napoca, Romania (2019.10.23-2019.10.26)] 2019 IEEE 25th International Symposium for Design and Technology in Electronic Packaging (SIITME) - Comparative Performance Analysis of Dye Sensitized Solar Cells
摘要： Future wireless networks will exploit a variety of wireless technologies to provide ubiquities connectivity to mobile devices in the form of cellular, Wireless Local Area Networks, and femtocells. Inevitably, future wireless networks will be diverse in nature, employing a number of different techniques to associate the hand held devices that are deemed to use the network. Furthermore, mobile users seek for seamless connectivity, while roaming in the midst of different networks. This requires the mobile device and the wireless networks be capable of performing a vertical handover, when the mobile nodes find themselves in the vicinity of a foreign network. Regardless of the technological challenges in terms of security, data integrity and mutual authentication between participating agents remain a significant concern in heterogeneous networks. This paper explores these concerns by examining a number of solutions proposed for vertical handover, and identifies EAP Reauthentication Protocol (ERP) as a technology-independent flexible mechanism for a vertical handover. EAP-ERP satisfies the mobility requirements of future hand held devices while promising the desired security futures. In view of thoroughly exploring EAP-ERP, Casper/FDR has been used in this paper to analyze its security properties under various conditions. The results indicate that despite the initial perception, EAP-ERP lacks mutual authentication between agents, while the integrity of keying material is adequately protected.
关键词： security verification,formal verification,vertical handover,Heterogeneous networks,Casper
更新于2025-09-16 10:30:52
-
Precision Measurement Method of Laser Beams Based on Coordinate Measuring Machine
摘要： This paper considers a load-aware energy ef?ciency maximization problem for downlink heterogeneous cellular networks with attention to unequal user priorities, load balance, quality of service (QoS) requirements, and power control. The load-aware energy ef?ciency of the networks is de?ned as the ratio of the effective rate and power consumption and mathematically formulated as a mixed-integer optimization problem in fractional forms with multi-constraints. A two-layer iterative algorithm with low computational complexity is proposed to address this optimization problem. In the outer layer, the objective function is converted into an equivalent problem in subtractive form by using the Dinkelbach method. The joint resource allocation involves cell-user association and power control that are decoupled over the independent portions of the system. In the inner layer, we search the association indices and transmit power parameters via solving a class of convex optimization problems governed by constraints. Speci?cally, by introducing some new auxiliary variables and using the Lagrangian dual method, the closed-form optimal association strategy and power control solution are obtained. The numerical simulations show that the proposed algorithm is guaranteed to converge and gives rise to higher energy ef?ciency than the existing one.
关键词： load management,energy ef?ciency,Heterogeneous networks,association rules
更新于2025-09-11 14:15:04