Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949838564> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2949838564 abstract "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." @default.
- W2949838564 created "2019-06-27" @default.
- W2949838564 creator A5087025582 @default.
- W2949838564 creator A5091462128 @default.
- W2949838564 date "2001-01-01" @default.
- W2949838564 modified "2023-09-27" @default.
- W2949838564 title "On the relationship between strand spaces and multi-agent systems" @default.
- W2949838564 cites W1528878926 @default.
- W2949838564 cites W1540759322 @default.
- W2949838564 cites W1640592531 @default.
- W2949838564 cites W1752677809 @default.
- W2949838564 cites W1867986337 @default.
- W2949838564 cites W1907943060 @default.
- W2949838564 cites W1999537009 @default.
- W2949838564 cites W2010939995 @default.
- W2949838564 cites W2014740956 @default.
- W2949838564 cites W2056143776 @default.
- W2949838564 cites W2103221883 @default.
- W2949838564 cites W2104655005 @default.
- W2949838564 cites W2105476775 @default.
- W2949838564 cites W2109585055 @default.
- W2949838564 cites W2146819619 @default.
- W2949838564 cites W2163277844 @default.
- W2949838564 cites W2472673498 @default.
- W2949838564 doi "https://doi.org/10.1145/501997.501999" @default.
- W2949838564 hasPublicationYear "2001" @default.
- W2949838564 type Work @default.
- W2949838564 sameAs 2949838564 @default.
- W2949838564 citedByCount "0" @default.
- W2949838564 crossrefType "proceedings-article" @default.
- W2949838564 hasAuthorship W2949838564A5087025582 @default.
- W2949838564 hasAuthorship W2949838564A5091462128 @default.
- W2949838564 hasBestOaLocation W29498385642 @default.
- W2949838564 hasConcept C104317684 @default.
- W2949838564 hasConcept C105580179 @default.
- W2949838564 hasConcept C111919701 @default.
- W2949838564 hasConcept C11413529 @default.
- W2949838564 hasConcept C120314980 @default.
- W2949838564 hasConcept C142362112 @default.
- W2949838564 hasConcept C149364088 @default.
- W2949838564 hasConcept C153349607 @default.
- W2949838564 hasConcept C165464430 @default.
- W2949838564 hasConcept C2778572836 @default.
- W2949838564 hasConcept C33923547 @default.
- W2949838564 hasConcept C41008148 @default.
- W2949838564 hasConcept C55493867 @default.
- W2949838564 hasConcept C558565934 @default.
- W2949838564 hasConcept C73301696 @default.
- W2949838564 hasConcept C80444323 @default.
- W2949838564 hasConcept C86803240 @default.
- W2949838564 hasConceptScore W2949838564C104317684 @default.
- W2949838564 hasConceptScore W2949838564C105580179 @default.
- W2949838564 hasConceptScore W2949838564C111919701 @default.
- W2949838564 hasConceptScore W2949838564C11413529 @default.
- W2949838564 hasConceptScore W2949838564C120314980 @default.
- W2949838564 hasConceptScore W2949838564C142362112 @default.
- W2949838564 hasConceptScore W2949838564C149364088 @default.
- W2949838564 hasConceptScore W2949838564C153349607 @default.
- W2949838564 hasConceptScore W2949838564C165464430 @default.
- W2949838564 hasConceptScore W2949838564C2778572836 @default.
- W2949838564 hasConceptScore W2949838564C33923547 @default.
- W2949838564 hasConceptScore W2949838564C41008148 @default.
- W2949838564 hasConceptScore W2949838564C55493867 @default.
- W2949838564 hasConceptScore W2949838564C558565934 @default.
- W2949838564 hasConceptScore W2949838564C73301696 @default.
- W2949838564 hasConceptScore W2949838564C80444323 @default.
- W2949838564 hasConceptScore W2949838564C86803240 @default.
- W2949838564 hasLocation W29498385641 @default.
- W2949838564 hasLocation W29498385642 @default.
- W2949838564 hasOpenAccess W2949838564 @default.
- W2949838564 hasPrimaryLocation W29498385641 @default.
- W2949838564 hasRelatedWork W2037027009 @default.
- W2949838564 hasRelatedWork W2092514886 @default.
- W2949838564 hasRelatedWork W2108686965 @default.
- W2949838564 hasRelatedWork W2129629352 @default.
- W2949838564 hasRelatedWork W2182773948 @default.
- W2949838564 hasRelatedWork W2202095648 @default.
- W2949838564 hasRelatedWork W2285855311 @default.
- W2949838564 hasRelatedWork W2501437044 @default.
- W2949838564 hasRelatedWork W2525331187 @default.
- W2949838564 hasRelatedWork W2737780034 @default.
- W2949838564 hasRelatedWork W2966293955 @default.
- W2949838564 hasRelatedWork W3122631108 @default.
- W2949838564 hasRelatedWork W629747436 @default.
- W2949838564 hasRelatedWork W832260879 @default.
- W2949838564 isParatext "false" @default.
- W2949838564 isRetracted "false" @default.
- W2949838564 magId "2949838564" @default.
- W2949838564 workType "article" @default.