Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
Cryptography and Security
2025-05-01 v2
Abstract
Protocol dialects are methods for modifying protocols that provide light-weight security, especially against easy attacks that can lead to more serious ones. A lingo is a dialect's key security component by making attackers unable to "speak" the lingo. A lingo's "talk" changes all the time, becoming a moving target for attackers. We present several kinds of lingo transformations and compositions to generate stronger lingos from simpler ones, thus making dialects more secure.
Cite
@article{arxiv.2504.20637,
title = {Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report},
author = {Víctor García and Santiago Escobar and Catherine Meadows and Jose Meseguer},
journal= {arXiv preprint arXiv:2504.20637},
year = {2025}
}