Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks

Formal verification is crucial for ensuring the robustness of security protocols against adversarial attacks. The Needham-Schroeder protocol, a foundational authentication mechanism, has been extensively studied, including its integration with Physical Layer Security PLS techniques such as...