Datasets
Standard Dataset
ProVerif codes for "Ultra-Lightweight and Secure Blockchain-Assisted Charging Scheduling Scheme For Vehicular Edge Networks By Utilization of NanoPi NEO" (10.1109/TVT.2022.3173076)
- Citation Author(s):
- Submitted by:
- Ali Shahidinejad
- Last updated:
- Mon, 05/09/2022 - 20:49
- DOI:
- 10.21227/1t59-de68
- Data Format:
- Links:
- License:
134 Views
- Categories:
- Keywords:
0 ratings - Please login to submit your rating.
Abstract
“ProVerif” is a powerful utility designed to examine “reachability properties,” “correspondence assertions,” and “observational equivalences.” Our protocol modelling addresses both the elemental security requirements, like “impersonation” or “replay” attack, and the most advanced ones, like “perfect forward secrecy” or “password guessing attack.”
Because we had a limited space in our published paper, the program source codes are provided here. The codes can be tested online at "http://proverif16.paris.inria.fr/".