BAN Logic Notations and Descriptions for IoV Authentication Scheme

A small dataset containing notations and descriptions for Burrows-Abadi-Needham (BAN) logic formal analysis. It was created by Wenfeng Huang and uploaded to figshare on April 24, 2026. The dataset likely supports the security validation of a blockchain-based authentication scheme for the Internet of Vehicles.

Use Cases

• Conducting formal security analysis based on BAN logic notations.
• Comparing computational costs of authentication schemes based on the described metrics.
• Studying decentralized cross-domain authentication architectures for vehicular networks.
• Developing educational materials on formal verification methods for IoT security.

Strengths

• The dataset is associated with a specific, peer-reviewed research scheme described in the metadata.
• The license is clearly stated as CC-BY-4.0, allowing for reuse.
• The file size is known (5.5 KB), indicating a concise, focused dataset.

Limitations

• Row count is unknown, which may limit suitability assessment.
• Column-level documentation is absent; field semantics must be inferred after download.
• The dataset is very small (5.5 KB), suggesting limited scope or a supplementary nature.

Provenance

Source

figshare

Freshness

Last updated 2026-04-24 17:43:09; freshness should be verified.