D. Galán, Víctor García, Santiago Escobar 0001, Catherine A. Meadows, José Meseguer 0001. Protocol Dialects as Formal Patterns. In Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis, editors, Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II. Volume 14345 of Lecture Notes in Computer Science, pages 42-61, Springer, 2023. [doi]
Abstract is missing.