[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Formal Verification of a Secure Mobile Banking Protocol

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Enhanced AODV Routing Protocol for Mobile Adhoc Networks

✍ Meghanathan, Natarajan; Kaushik, Brajesh Kumar; Nagamalai, Dhinaharan 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 232 KB

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 66 revised full papers presented in this volume were carefully reviewed and s

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Secure Data Aggregation in Wireless Sensor Networks Using Privacy Homomorphism

✍ Meghanathan, Natarajan; Kaushik, Brajesh Kumar; Nagamalai, Dhinaharan 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 290 KB

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 66 revised full papers presented in this volume were carefully reviewed and s

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || A Light-Weight Protocol for Data Integrity and Authentication in Wireless Sensor Networks

✍ Meghanathan, Natarajan; Kaushik, Brajesh Kumar; Nagamalai, Dhinaharan 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 256 KB

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 66 revised full papers presented in this volume were carefully reviewed and s

[Communications in Computer and Informat

[Communications in Computer and Information Science] Network Computing and Information Security Volume 345 || Mobility Support in OLSR Routing Protocol

✍ Lei, Jingsheng; Wang, Fu Lee; Li, Mo; Luo, Yuan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 220 KB

This book constitutes the proceedings of the Second International Conference on Network Computing and Information Security, NCIS 2012, held in Shanghai, China, in December 2012. The 104 revised papers presented in this volume were carefully reviewed and selected from 517 submissions. They are organi

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Reliable Neighbor Based Multipath Multicast Routing in MANETs

✍ Meghanathan, Natarajan; Kaushik, Brajesh Kumar; Nagamalai, Dhinaharan 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 222 KB

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 66 revised full papers presented in this volume were carefully reviewed and s

[Lecture Notes in Computer Science] Wire

[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 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 406 KB

[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Formal Verification of a Secure Mobile Banking Protocol

✦ Synopsis