✦ LIBER ✦
A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR
✍ Scribed by Mahdi Aiash; Glenford Mapp; Aboubaker Lasebae; Raphael Phan; Jonathan Loo
- Book ID
- 115021517
- Publisher
- Hindawi Publishing Corporation
- Year
- 2012
- Tongue
- English
- Weight
- 745 KB
- Volume
- 2012
- Category
- Article
- ISSN
- 1687-1472
No coin nor oath required. For personal study only.