A Provably Secure Authentication and Key Exchange Protocol in Vehicular Ad Hoc Networks

<table class="table-group" id="tab3"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Denomination</td><td class="align_center">Description</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">Hardware equipment</td><td class="align_center">Laptop</td></tr><tr><td class="align_left">Processor</td><td class="align_center">AMD Ryzen 5 4600H</td></tr><tr><td class="align_left">Running memory</td><td class="align_center">16 GB</td></tr><tr><td class="align_left">System</td><td class="align_center">Windows 10</td></tr><tr><td class="align_left">Software</td><td class="align_center">IntelliJ IDEA 2019.3</td></tr><tr><td class="align_left">Cryptography library</td><td class="align_center">JPBC-2.0.0</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Security and Communication Networks

tab3

Table 3

Table 3: A Provably Secure Authentication and Key Exchange Protocol in Vehicular Ad Hoc Networks 