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 c) . \\ q u e r y a t t a c k e r (K 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 p) \\ q u e r y i d : bitstring; i n j - e v e n t (UserAuthed (i d)) \Rightarrow i n j - e v e n t (UserStarted (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}