Formal verification model for the AuthChain-V2X authentication and key agreement protocol.
security privacy authentication protocol formal-verification intelligent-transportation-systems key-agreement spdl vehicle-to-everything
-
Updated
May 9, 2026