← all papers · overview

Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report

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.

Related papers

Ranked by semantic similarity — how closely each paper's abstract matches this one (100% = near-identical topic).