Strand spaces with choice via a process algebra semantics
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago · 2016
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.