1. Password-based authenticated key exchange in the three-party setting;Abdalla,2005
2. Improved iot device authentication scheme using device capability and digital signatures;Alizai,2018
3. Block chain based security mechanism for internet of vehicles (IoV);Arora,2018
4. ProVerif Automatic Cryptographic Protocol Verifier User Manual;Blanchet,2005
5. A secure authentication protocol for internet of vehicles;Chen;IEEE Access,2019