Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016402420> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2016402420 endingPage "70" @default.
- W2016402420 startingPage "43" @default.
- W2016402420 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.
- W2016402420 created "2016-06-24" @default.
- W2016402420 creator A5087025582 @default.
- W2016402420 creator A5091462128 @default.
- W2016402420 date "2003-02-01" @default.
- W2016402420 modified "2023-10-09" @default.
- W2016402420 title "On the relationship between strand spaces and multi-agent systems" @default.
- W2016402420 cites W1640592531 @default.
- W2016402420 cites W1986798330 @default.
- W2016402420 cites W2010939995 @default.
- W2016402420 cites W2014740956 @default.
- W2016402420 cites W2069072651 @default.
- W2016402420 cites W2103221883 @default.
- W2016402420 cites W2105476775 @default.
- W2016402420 cites W2914206182 @default.
- W2016402420 doi "https://doi.org/10.1145/605434.605436" @default.
- W2016402420 hasPublicationYear "2003" @default.
- W2016402420 type Work @default.
- W2016402420 sameAs 2016402420 @default.
- W2016402420 citedByCount "28" @default.
- W2016402420 countsByYear W20164024202012 @default.
- W2016402420 countsByYear W20164024202013 @default.
- W2016402420 countsByYear W20164024202014 @default.
- W2016402420 countsByYear W20164024202021 @default.
- W2016402420 crossrefType "journal-article" @default.
- W2016402420 hasAuthorship W2016402420A5087025582 @default.
- W2016402420 hasAuthorship W2016402420A5091462128 @default.
- W2016402420 hasBestOaLocation W20164024202 @default.
- W2016402420 hasConcept C104317684 @default.
- W2016402420 hasConcept C105580179 @default.
- W2016402420 hasConcept C111919701 @default.
- W2016402420 hasConcept C11413529 @default.
- W2016402420 hasConcept C120314980 @default.
- W2016402420 hasConcept C142362112 @default.
- W2016402420 hasConcept C149364088 @default.
- W2016402420 hasConcept C153349607 @default.
- W2016402420 hasConcept C165464430 @default.
- W2016402420 hasConcept C2778572836 @default.
- W2016402420 hasConcept C41008148 @default.
- W2016402420 hasConcept C55493867 @default.
- W2016402420 hasConcept C558565934 @default.
- W2016402420 hasConcept C73301696 @default.
- W2016402420 hasConcept C80444323 @default.
- W2016402420 hasConcept C86803240 @default.
- W2016402420 hasConceptScore W2016402420C104317684 @default.
- W2016402420 hasConceptScore W2016402420C105580179 @default.
- W2016402420 hasConceptScore W2016402420C111919701 @default.
- W2016402420 hasConceptScore W2016402420C11413529 @default.
- W2016402420 hasConceptScore W2016402420C120314980 @default.
- W2016402420 hasConceptScore W2016402420C142362112 @default.
- W2016402420 hasConceptScore W2016402420C149364088 @default.
- W2016402420 hasConceptScore W2016402420C153349607 @default.
- W2016402420 hasConceptScore W2016402420C165464430 @default.
- W2016402420 hasConceptScore W2016402420C2778572836 @default.
- W2016402420 hasConceptScore W2016402420C41008148 @default.
- W2016402420 hasConceptScore W2016402420C55493867 @default.
- W2016402420 hasConceptScore W2016402420C558565934 @default.
- W2016402420 hasConceptScore W2016402420C73301696 @default.
- W2016402420 hasConceptScore W2016402420C80444323 @default.
- W2016402420 hasConceptScore W2016402420C86803240 @default.
- W2016402420 hasIssue "1" @default.
- W2016402420 hasLocation W20164024201 @default.
- W2016402420 hasLocation W20164024202 @default.
- W2016402420 hasOpenAccess W2016402420 @default.
- W2016402420 hasPrimaryLocation W20164024201 @default.
- W2016402420 hasRelatedWork W1494268238 @default.
- W2016402420 hasRelatedWork W154868527 @default.
- W2016402420 hasRelatedWork W1976468483 @default.
- W2016402420 hasRelatedWork W1983207144 @default.
- W2016402420 hasRelatedWork W2051058708 @default.
- W2016402420 hasRelatedWork W2053685668 @default.
- W2016402420 hasRelatedWork W2480116122 @default.
- W2016402420 hasRelatedWork W2490706771 @default.
- W2016402420 hasRelatedWork W2914625303 @default.
- W2016402420 hasRelatedWork W2563912921 @default.
- W2016402420 hasVolume "6" @default.
- W2016402420 isParatext "false" @default.
- W2016402420 isRetracted "false" @default.
- W2016402420 magId "2016402420" @default.
- W2016402420 workType "article" @default.