A Formally Verified Protocol for Secure Vertical Handovers in 4G Heterogeneous Networks

2013 ◽  
Vol 7 (6) ◽  
pp. 309-326 ◽  
Author(s):  
Naïm Qachri ◽  
Olivier Markowitch ◽  
Jean-Michel Dricot
2005 ◽  
Vol 06 (01) ◽  
pp. 35-50 ◽  
Author(s):  
SUSAN J. LINCKE ◽  
CYNTHIA S. HOOD

As third and fourth generation cellular/wireless networks evolve, operators must learn to efficiently manage diverse services, and multiple networks consisting of varying technologies, cell sizes, and frequency bands. Architectural studies on integrated heterogeneous networks suggest that vertical handovers can be used to increase network efficiency. We propose that carefully-controlled load distribution can also promote Quality of Service (QoS) goals for the diverse services. This study compares session overflow and session placement algorithms in order to determine their effects on efficiency and QoS.


2019 ◽  
Vol 67 (2) ◽  
pp. 1629-1644 ◽  
Author(s):  
Shizhe Zang ◽  
Wei Bao ◽  
Phee Lep Yeoh ◽  
Branka Vucetic ◽  
Yonghui Li

Sign in / Sign up

Export Citation Format

Share Document