> Details

Galán, Daniel [Author]; id_orcid0 000-0002-0133-7102 [Author]; García Valero, Víctor [Author]; Escobar Román, Santiago [Author]; Meadows, Catherine [Author]; Meseguer, José [Author] ; Tsudik, Gene [Contributor]; Conti, Mauro [Contributor]; Liang, Kaitai [Contributor]; Smaragdakis, Georgios [Contributor]

Protocol Dialects as Formal Patterns

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Electronic Conference Proceeding
  • Title: Protocol Dialects as Formal Patterns
  • Contributor: Galán, Daniel [Author]; id_orcid0 000-0002-0133-7102 [Author]; García Valero, Víctor [Author]; Escobar Román, Santiago [Author]; Meadows, Catherine [Author]; Meseguer, José [Author]
  • imprint: Springer, 2024-01
  • Published in: Lecture Notes in Computer Science, 14345 ; Computer Security – ESORICS 2023
  • Language: English
  • DOI: https://doi.org/20.500.11850/638795; https://doi.org/10.3929/ethz-b-000638795; https://doi.org/10.1007/978-3-031-51476-0_3
  • ISBN: 978-3-031-51475-3; 978-3-031-51476-0; 978-3-031-51475-3; 978-3-031-51476-0
  • Keywords: Formalization ; Protocol verification ; Formal Patterns ; computer science ; Maude ; Data processing ; Protocol design
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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. ; ISSN:0302-9743 ; ISSN:1611-3349
  • Access State: Open Access
  • Rights information: In Copyright - Non-commercial Use Permitted