Protocol Dialects as Formal Patterns

D. Galán, V. García, S. Escobar, C. Meadows, J. Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A protocol dialect is a lightweight method to obfuscate the communication exchanges between legitimate protocol users to make it hard for malicious users to interact with legitimate ones. So far, dialects have been based on a single obfuscation transformation, which we call a lingo. In this work dialects are generalized to become protocol and lingo generic. In this way they can be composed with other dialects for greater security. We present a formal semantics of dialects as formal patterns, i.e., as protocol transformations formalized in rewriting logic. We also present several attacker models and explain how our generalized notion of dialect can be used to harden dialects against such attackers.

Original languageEnglish (US)
Title of host publicationComputer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings
EditorsGene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis
Number of pages20
ISBN (Print)9783031514753
StatePublished - 2024
Event28th European Symposium on Research in Computer Security, ESORICS 2023 - The Hague, Netherlands
Duration: Sep 25 2023Sep 29 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14345 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference28th European Symposium on Research in Computer Security, ESORICS 2023
CityThe Hague

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Protocol Dialects as Formal Patterns'. Together they form a unique fingerprint.

Cite this