Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910922429169664 |
|---|---|
| author | García, Víctor Escobar, Santiago Meadows, Catherine Meseguer, Jose |
| author_facet | García, Víctor Escobar, Santiago Meadows, Catherine Meseguer, Jose |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_20637 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report García, Víctor Escobar, Santiago Meadows, Catherine Meseguer, Jose Cryptography and Security 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. |
| title | Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2504.20637 |