Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950943054> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2950943054 abstract "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. To achieve this goal, we develop and give formal semantics to a process algebra for cryptographic protocols that supports a rich taxonomy of choice primitives for composing strand spaces. In our taxonomy, deterministic and non-deterministic choices are broken down further. Non-deterministic choice can be either explicit, i.e., one of two paths is chosen, or implicit, i.e., the value of a variable is chosen non-deterministically. Likewise, deterministic choice can be either an explicit if-then-else choice, i.e., one path is chosen if a predicate is satisfied, while the other is chosen if it is not, or implicit deterministic choice, i.e., execution continues only if a certain pattern is matched. We have identified a class of choices which includes finite branching and some cases of infinite branching, which we address in this paper. We provide a bisimulation result between the expected forwards execution semantics of the new process algebra and the original symbolic backwards semantics of Maude-NPA that preserves attack reachability. We have fully integrated the process algebra syntax and its transformation into strands in Maude-NPA. We illustrate its expressive power and naturalness with various examples, and show how it can be effectively used in formal analysis. This allows users to write protocols from now on using the process syntax, which is more convenient for expressing choice than the strand space syntax, in which choice can only be specified implicitly, via two or more strands that are identical until the choice point." @default.
- W2950943054 created "2019-06-27" @default.
- W2950943054 creator A5007839082 @default.
- W2950943054 creator A5021410622 @default.
- W2950943054 creator A5032149189 @default.
- W2950943054 creator A5089823903 @default.
- W2950943054 date "2019-04-22" @default.
- W2950943054 modified "2023-09-23" @default.
- W2950943054 title "Strand Spaces with Choice via a Process Algebra Semantics" @default.
- W2950943054 cites W146244851 @default.
- W2950943054 cites W1604195593 @default.
- W2950943054 cites W1867986337 @default.
- W2950943054 cites W1973054120 @default.
- W2950943054 cites W1999378241 @default.
- W2950943054 cites W2057230401 @default.
- W2950943054 cites W2169097519 @default.
- W2950943054 cites W2496342316 @default.
- W2950943054 cites W2513374167 @default.
- W2950943054 cites W2525331187 @default.
- W2950943054 doi "https://doi.org/10.48550/arxiv.1904.09946" @default.
- W2950943054 hasPublicationYear "2019" @default.
- W2950943054 type Work @default.
- W2950943054 sameAs 2950943054 @default.
- W2950943054 citedByCount "0" @default.
- W2950943054 crossrefType "posted-content" @default.
- W2950943054 hasAuthorship W2950943054A5007839082 @default.
- W2950943054 hasAuthorship W2950943054A5021410622 @default.
- W2950943054 hasAuthorship W2950943054A5032149189 @default.
- W2950943054 hasAuthorship W2950943054A5089823903 @default.
- W2950943054 hasBestOaLocation W29509430541 @default.
- W2950943054 hasConcept C11413529 @default.
- W2950943054 hasConcept C118615104 @default.
- W2950943054 hasConcept C136119220 @default.
- W2950943054 hasConcept C136643341 @default.
- W2950943054 hasConcept C140146324 @default.
- W2950943054 hasConcept C15927051 @default.
- W2950943054 hasConcept C161771561 @default.
- W2950943054 hasConcept C178489894 @default.
- W2950943054 hasConcept C184337299 @default.
- W2950943054 hasConcept C199360897 @default.
- W2950943054 hasConcept C202444582 @default.
- W2950943054 hasConcept C33884865 @default.
- W2950943054 hasConcept C33923547 @default.
- W2950943054 hasConcept C41008148 @default.
- W2950943054 hasConcept C80444323 @default.
- W2950943054 hasConceptScore W2950943054C11413529 @default.
- W2950943054 hasConceptScore W2950943054C118615104 @default.
- W2950943054 hasConceptScore W2950943054C136119220 @default.
- W2950943054 hasConceptScore W2950943054C136643341 @default.
- W2950943054 hasConceptScore W2950943054C140146324 @default.
- W2950943054 hasConceptScore W2950943054C15927051 @default.
- W2950943054 hasConceptScore W2950943054C161771561 @default.
- W2950943054 hasConceptScore W2950943054C178489894 @default.
- W2950943054 hasConceptScore W2950943054C184337299 @default.
- W2950943054 hasConceptScore W2950943054C199360897 @default.
- W2950943054 hasConceptScore W2950943054C202444582 @default.
- W2950943054 hasConceptScore W2950943054C33884865 @default.
- W2950943054 hasConceptScore W2950943054C33923547 @default.
- W2950943054 hasConceptScore W2950943054C41008148 @default.
- W2950943054 hasConceptScore W2950943054C80444323 @default.
- W2950943054 hasLocation W29509430541 @default.
- W2950943054 hasLocation W29509430542 @default.
- W2950943054 hasOpenAccess W2950943054 @default.
- W2950943054 hasPrimaryLocation W29509430541 @default.
- W2950943054 hasRelatedWork W1543782959 @default.
- W2950943054 hasRelatedWork W1588492604 @default.
- W2950943054 hasRelatedWork W1601816691 @default.
- W2950943054 hasRelatedWork W1971318400 @default.
- W2950943054 hasRelatedWork W20186095 @default.
- W2950943054 hasRelatedWork W2023361932 @default.
- W2950943054 hasRelatedWork W2388722367 @default.
- W2950943054 hasRelatedWork W2496342316 @default.
- W2950943054 hasRelatedWork W2532895642 @default.
- W2950943054 hasRelatedWork W2950943054 @default.
- W2950943054 isParatext "false" @default.
- W2950943054 isRetracted "false" @default.
- W2950943054 magId "2950943054" @default.
- W2950943054 workType "article" @default.