[Lecture Notes in Computer Science] Wired/Wireless Internet Communications Volume 4517 || A Secure Handover Protocol Design in Wireless Networks with Formal Verification
- 作者Boavida, Fernando; Monteiro, Edmundo; Mascolo, Saverio; Koucheryavy, Yevgeni
- 文件大小406.36KB
- 发表时间2007
- DOI10.1007/978-3-540-72697-5_6
- 页码67-78
[IEEE 2004 IEEE International Solid-State Circuits Conference - San Francisco, CA, USA (2004.02.19-2004.02.19)] 2004 IEEE International Solid-State Circuits Conference (IEEE Cat No 04CH37519) ISSCC-04 - ISSCC 2004 Solid State Circuits Conference2004
[IEEE 2004 IEEE International Solid-State Circuits Conference - San Francisco, CA, USA (2004.02.19-2004.02.19)] 2004 IEEE International Solid-State Circuits Conference (IEEE Cat No 04CH37519) ISSCC-04 - ISSCC 2004 Solid State Circuits Conference Tutorials2004
[IEEE 2004 IEEE International Solid-State Circuits Conference - San Francisco, CA, USA (2004.02.19-2004.02.19)] 2004 IEEE International Solid-State Circuits Conference (IEEE Cat No 04CH37519) ISSCC-04 - ISSCC 2004 Solid State Circuits Conference Program Committee2004
[IEEE 2004 IEEE International Solid-State Circuits Conference - San Francisco, CA, USA (2004.02.19-2004.02.19)] 2004 IEEE International Solid-State Circuits Conference (IEEE Cat No 04CH37519) ISSCC-04 - ISSCC 2004 Solid State Circuits Conference Executive Committee2004
[IEEE 2004 IEEE International Solid-State Circuits Conference - San Francisco, CA, USA (2004.02.19-2004.02.19)] 2004 IEEE International Solid-State Circuits Conference (IEEE Cat No 04CH37519) ISSCC-04 - ISSCC 2004 Solid State Circuits Conference gigahertz radio front ends: RF power amplifiers2004