Protocol Dialects as Formal Patterns
OPEN ACCESS
Loading...
Author / Producer
Date
2024-01
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Abstract
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.
Permanent link
Publication status
published
External links
Book title
Computer Security – ESORICS 2023
Journal / series
Volume
14345
Pages / Article No.
42 - 61
Publisher
Springer
Event
28th European Symposium on Research in Computer Security (ESORICS 2023)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Protocol design; Protocol verification; Maude; Formalization; Formal Patterns
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Conference lecture held on September 25, 2023