Communication Dans Un Congrès Année : 2024

Nothing is Out-of-Band: Formal Modeling of Ceremonies

Résumé

We develop and explain the design decisions of a framework for the formal specification and analysis of interactions in generalized distributed systems. Our approach is suitable to reason about various types of agents and supports the modeling of synchronous interactions between any finite number of agents. Our proposal provides a common ground for existing modeling techniques for cryptographic protocols and security ceremonies, by generalizing and unifying them in a single formalism. We discuss the specification of security properties in our framework and demonstrate on a short voting ceremony a technique to model our ceremonies in the Tamarin prover.

Fichier non déposé

Dates et versions

hal-04846060 , version 1 (18-12-2024)

Identifiants

Citer

Barbara Fila, Saša Radomirović. Nothing is Out-of-Band: Formal Modeling of Ceremonies. 2024 IEEE 37th Computer Security Foundations Symposium (CSF), Jul 2024, Enschede, Netherlands. pp.464-478, ⟨10.1109/CSF61375.2024.00049⟩. ⟨hal-04846060⟩
58 Consultations
0 Téléchargements

Altmetric

Partager

  • More