Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

This book focuses on the design of secure and efficient signature and signcryption schemes for vehicular ad—hoc networks (VANETs). We use methods such as public key cryptography (PKI), identity—based cryptography (IDC), and certificateless cryptography (CLC) to design bilinear pairing and elliptic curve cryptography—based signature and signcryption schemes and prove their security in the random oracle model. The signature schemes ensure the authenticity of source and integrity of a safety m...