A Formally Verified Protocol for Secure Vertical Handovers in 4G Heterogeneous Networks
2013 ◽
Vol 7
(6)
◽
pp. 309-326
◽
2005 ◽
Vol 06
(01)
◽
pp. 35-50
◽
2019 ◽
Vol 67
(2)
◽
pp. 1629-1644
◽
2017 ◽
Vol 137
(11)
◽
pp. 1445-1452
2013 ◽
Vol E96.B
(3)
◽
pp. 905-909
◽
2017 ◽
Keyword(s):
2017 ◽
Keyword(s):
2013 ◽
Vol 33
(7)
◽
pp. 1809-1812
◽
Keyword(s):
2013 ◽
Vol 34
(9)
◽
pp. 2208-2212
Keyword(s):