Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)

Kangfeng Ye, Roberto Metere, Jim Woodcock +1

Formal verification is crucial for ensuring the robustness of security protocols against adversarial attacks. The Needham-Schroeder protocol, a foundational authentication mechanis…