Securing Session Initiation Protocol

. 2022 Nov 23;22(23):9103. doi: 10.3390/s22239103

\begin{matrix} (* = = = = = = = = Q u e r i e s = = = = = = = = *) \\ q u e r y a t t a c k e r (K s c) . \\ q u e r y a t t a c k e r (K s d) . \\ q u e r y a t t a c k e r (K c d 1) . \\ q u e r y a t t a c k e r (K c d 2) . \\ q u e r y U R I c : bitstring; i n j - e v e n t (C_End (U R I c)) \Rightarrow i n j - e v e n t (C_End (U R I c)) . \\ q u e r y U R I d : bitstring; i n j - e v e n t (C_End (U R I d)) \Rightarrow i n j - e v e n t (C_End (U R I d)) . \\ q u e r y i d : bitstring; i n j - e v e n t (ServerEnd (i d)) \Rightarrow i n j - e v e n t (ServerStarted (i d)) . \end{matrix}