Computer Science – Cryptography and Security
Scientific paper
2003-06-17
ACM Transactions on Information and System Security 6:1, 2003, pp. 43--70
Computer Science
Cryptography and Security
A preliminary version of this paper appears in the Proceedings of the 8th ACM Conference on Computer and Communications Securi
Scientific paper
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 distributed systems, namely multi-agent systems. We explore the exact relationship between these two frameworks here. It turns out that a key difference is the handling of agents, which are unspecified in strand spaces and explicit in multi-agent systems. We provide a family of translations from strand spaces to multi-agent systems parameterized by the choice of agents in the strand space. We also show that not every multi-agent system of interest can be expressed as a strand space. This reveals a lack of expressiveness in the strand-space framework that can be characterized by our translation. To highlight this lack of expressiveness, we show one simple way in which strand spaces can be extended to model more systems.
Halpern Joseph Y.
Pucella Riccardo
No associations
LandOfFree
On the Relationship between Strand Spaces and Multi-Agent Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the Relationship between Strand Spaces and Multi-Agent Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Relationship between Strand Spaces and Multi-Agent Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-50764