Protocol Dialects as Formal Patterns

D. Galán; V. García; S. Escobar; C. Meadows; J. Meseguer

doi:10.1007/978-3-031-51476-0_3

Protocol Dialects as Formal Patterns

D. Galán, V. García, S. Escobar, C. Meadows, J. Meseguer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English (US)
Title of host publication	Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings
Editors	Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis
Publisher	Springer
Pages	42-61
Number of pages	20
ISBN (Print)	9783031514753
DOIs	https://doi.org/10.1007/978-3-031-51476-0_3
State	Published - 2024
Event	28th European Symposium on Research in Computer Security, ESORICS 2023 - The Hague, Netherlands Duration: Sep 25 2023 → Sep 29 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14345 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	28th European Symposium on Research in Computer Security, ESORICS 2023
Country/Territory	Netherlands
City	The Hague
Period	9/25/23 → 9/29/23

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-031-51476-0_3

Library availability

Discover UIUC Full Text

Cite this

Galán, D., García, V., Escobar, S., Meadows, C., & Meseguer, J. (2024). Protocol Dialects as Formal Patterns. In G. Tsudik, M. Conti, K. Liang, & G. Smaragdakis (Eds.), Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings (pp. 42-61). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14345 LNCS). Springer. https://doi.org/10.1007/978-3-031-51476-0_3

Protocol Dialects as Formal Patterns. / Galán, D.; García, V.; Escobar, S. et al.
Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings. ed. / Gene Tsudik; Mauro Conti; Kaitai Liang; Georgios Smaragdakis. Springer, 2024. p. 42-61 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14345 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Galán, D, García, V, Escobar, S, Meadows, C & Meseguer, J 2024, Protocol Dialects as Formal Patterns. in G Tsudik, M Conti, K Liang & G Smaragdakis (eds), Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14345 LNCS, Springer, pp. 42-61, 28th European Symposium on Research in Computer Security, ESORICS 2023, The Hague, Netherlands, 9/25/23. https://doi.org/10.1007/978-3-031-51476-0_3

Galán D, García V, Escobar S, Meadows C, Meseguer J. Protocol Dialects as Formal Patterns. In Tsudik G, Conti M, Liang K, Smaragdakis G, editors, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings. Springer. 2024. p. 42-61. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-51476-0_3

Galán, D. ; García, V. ; Escobar, S. et al. / Protocol Dialects as Formal Patterns. Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings. editor / Gene Tsudik ; Mauro Conti ; Kaitai Liang ; Georgios Smaragdakis. Springer, 2024. pp. 42-61 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a17f75e8c922410d8b9103102b6ab3a7,

title = "Protocol Dialects as Formal Patterns",

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.",

author = "D. Gal{\'a}n and V. Garc{\'i}a and S. Escobar and C. Meadows and J. Meseguer",

note = "S. Escobar and V. Gar{\'c}ıa have been partially supported by the grant PID2021-122830OB-C42 funded by MCIN/AEI/10.13039/501100011033 and ERDF A way of making Europe, by the grant CIPROM/2022/6 funded by Generalitat Valenciana, and by the grant PCI2020-120708-2 funded by MICIN/AEI/10.13039/501100011033 and by the European Union NextGenerationEU/PRTR. D. Gal{\'a}n, V. Gar{\'c}ıa, C. Meadows, and J. Meseguer have been partially supported by ONR Code 311. We also thank Eben Blaisdell and Carolyn Talcott for their comments.; 28th European Symposium on Research in Computer Security, ESORICS 2023 ; Conference date: 25-09-2023 Through 29-09-2023",

year = "2024",

doi = "10.1007/978-3-031-51476-0_3",

language = "English (US)",

isbn = "9783031514753",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "42--61",

editor = "Gene Tsudik and Mauro Conti and Kaitai Liang and Georgios Smaragdakis",

booktitle = "Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Protocol Dialects as Formal Patterns

AU - Galán, D.

AU - García, V.

AU - Escobar, S.

AU - Meadows, C.

AU - Meseguer, J.

N1 - S. Escobar and V. Garćıa have been partially supported by the grant PID2021-122830OB-C42 funded by MCIN/AEI/10.13039/501100011033 and ERDF A way of making Europe, by the grant CIPROM/2022/6 funded by Generalitat Valenciana, and by the grant PCI2020-120708-2 funded by MICIN/AEI/10.13039/501100011033 and by the European Union NextGenerationEU/PRTR. D. Galán, V. Garćıa, C. Meadows, and J. Meseguer have been partially supported by ONR Code 311. We also thank Eben Blaisdell and Carolyn Talcott for their comments.

PY - 2024

Y1 - 2024

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85182597037&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85182597037&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-51476-0_3

DO - 10.1007/978-3-031-51476-0_3

M3 - Conference contribution

AN - SCOPUS:85182597037

SN - 9783031514753

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 42

EP - 61

BT - Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings

A2 - Tsudik, Gene

A2 - Conti, Mauro

A2 - Liang, Kaitai

A2 - Smaragdakis, Georgios

PB - Springer

T2 - 28th European Symposium on Research in Computer Security, ESORICS 2023

Y2 - 25 September 2023 through 29 September 2023

ER -