Strand Spaces with Choice via a Process Algebra Semantics

Download PDF
Open Webpage

Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Published: 01 Jan 2023, Last Modified: 30 Aug 2024Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in the strand space model of cryptographic protocols, particularly as it is used in the Maude-NPA cryptographic protocol analysis tool.