Pošalji tekstualnu poruku: Formal models and techniques for analyzing security protocols