LPAKA Public Research Data: ProVerif Model and ns-3 Simulation Results

Description

This dataset supports the study titled “Post-Quantum Cross-Domain Authentication and Key Agreement Protocol for UAVs Based on Lattice Cryptography and PUF.” It contains the executable ProVerif model and verification output, the ns-3 protocol-flow simulation source code, simulation and plotting scripts, protocol parameters, raw CSV results, and generated figures. The ProVerif model evaluates session-key confidentiality and mutual authentication under the symbolic Dolev–Yao model. The ns-3 experiments evaluate authentication delay, authentication success rate, attack blocking rate, communication overhead, and energy consumption under different UAV counts, cross-domain support ratios, packet-loss rates, attack-request ratios, and UAV speeds. The included README and data dictionary describe the execution environment, file structure, simulation parameters, data fields, and reproduction procedures. No personal data, authentication credentials, private keys, or copyrighted comparison-paper files are included.

Institutions

• Guizhou University

  Guizhou, Guiyang

Categories

Licence