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.
View on arXiv@article{garcía2025_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 }
}