>>840335 (last bread)

>https:// en.wikipedia.org/wiki/Dolev–Yao_model

I was looking for this since I start decoding Q posts.

tyvm anon