A Theoretical Approach to Secure Protocols for Ultra-Reliable Low-Latency Communication (URLLC) in V2X Systems | Synapse