On the Relationship between Strand Spaces and Multi-Agent Systems

Joseph Y. Halpern, Riccardo Pucella

Strand spaces are a popular framework for the analysis of security protocols. Strand spaces have some similarities to a formalism used successfully to model protocols for distribut…