Inference Rules of BAN Logic for Authentication Scheme Security Validation

A 5.5 KB Excel file published by Wenfeng Huang on April 24, 2026. It contains inference rules for Burrows-Abadi-Needham (BAN) logic, used for formal security analysis of a blockchain-based authentication scheme for the Internet of Vehicles.

Use Cases

• Perform formal security analysis of authentication protocols based on BAN logic rules.
• Validate security guarantees of blockchain-based multi-authority systems using the provided inference rules.
• Compare computational costs of security schemes by referencing the 39.42% reduction metric mentioned in the description.

Strengths

• The dataset is openly licensed under CC-BY-4.0.
• It is associated with a specific security validation method (BAN logic) described in a research paper.
• The file size is 5.5 KB, indicating a focused and likely well-defined set of rules.

Limitations

• Row count is unknown, which may limit suitability assessment.
• Column-level documentation is absent; field semantics must be inferred after download.
• The description focuses on the research paper's application, not the specific structure of the data file.

Provenance

Source

figshare

Freshness

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