Matches in SemOpenAlex for { <https://semopenalex.org/work/W75645059> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W75645059 abstract "This paper introduces a process calculus with recursion which allows us to express an unbounded number of runs of the ping-pong protocols introduced by Dolev and Yao. We study the decidability issues associated with two common approaches to checking security properties, namely reachability analysis and bisimulation checking. Our main result is that our channel-free and memory-less calculus is Turing powerful, assuming that at least three principals are involved. We also investigate the expressive power of the calculus in the case of two participants. Here, our main results are that reachability and, under certain conditions, also strong bisimilarity become decidable." @default.
- W75645059 created "2016-06-24" @default.
- W75645059 creator A5004618704 @default.
- W75645059 creator A5009728620 @default.
- W75645059 date "2003-12-11" @default.
- W75645059 modified "2023-10-18" @default.
- W75645059 title "Recursive Ping-Pong Protocols" @default.
- W75645059 doi "https://doi.org/10.7146/brics.v10i47.21819" @default.
- W75645059 hasPublicationYear "2003" @default.
- W75645059 type Work @default.
- W75645059 sameAs 75645059 @default.
- W75645059 citedByCount "1" @default.
- W75645059 countsByYear W756450592020 @default.
- W75645059 crossrefType "journal-article" @default.
- W75645059 hasAuthorship W75645059A5004618704 @default.
- W75645059 hasAuthorship W75645059A5009728620 @default.
- W75645059 hasBestOaLocation W756450591 @default.
- W75645059 hasConcept C110251889 @default.
- W75645059 hasConcept C135315306 @default.
- W75645059 hasConcept C136643341 @default.
- W75645059 hasConcept C153269930 @default.
- W75645059 hasConcept C161771561 @default.
- W75645059 hasConcept C168773036 @default.
- W75645059 hasConcept C195818886 @default.
- W75645059 hasConcept C199343813 @default.
- W75645059 hasConcept C199360897 @default.
- W75645059 hasConcept C2777669093 @default.
- W75645059 hasConcept C2777686260 @default.
- W75645059 hasConcept C41008148 @default.
- W75645059 hasConcept C71924100 @default.
- W75645059 hasConcept C80444323 @default.
- W75645059 hasConceptScore W75645059C110251889 @default.
- W75645059 hasConceptScore W75645059C135315306 @default.
- W75645059 hasConceptScore W75645059C136643341 @default.
- W75645059 hasConceptScore W75645059C153269930 @default.
- W75645059 hasConceptScore W75645059C161771561 @default.
- W75645059 hasConceptScore W75645059C168773036 @default.
- W75645059 hasConceptScore W75645059C195818886 @default.
- W75645059 hasConceptScore W75645059C199343813 @default.
- W75645059 hasConceptScore W75645059C199360897 @default.
- W75645059 hasConceptScore W75645059C2777669093 @default.
- W75645059 hasConceptScore W75645059C2777686260 @default.
- W75645059 hasConceptScore W75645059C41008148 @default.
- W75645059 hasConceptScore W75645059C71924100 @default.
- W75645059 hasConceptScore W75645059C80444323 @default.
- W75645059 hasIssue "47" @default.
- W75645059 hasLocation W756450591 @default.
- W75645059 hasLocation W756450592 @default.
- W75645059 hasOpenAccess W75645059 @default.
- W75645059 hasPrimaryLocation W756450591 @default.
- W75645059 hasRelatedWork W1508979488 @default.
- W75645059 hasRelatedWork W1544806231 @default.
- W75645059 hasRelatedWork W2095735488 @default.
- W75645059 hasRelatedWork W2103279048 @default.
- W75645059 hasRelatedWork W2412947992 @default.
- W75645059 hasRelatedWork W2571179180 @default.
- W75645059 hasRelatedWork W2583954723 @default.
- W75645059 hasRelatedWork W3017092265 @default.
- W75645059 hasRelatedWork W75645059 @default.
- W75645059 hasRelatedWork W2584456909 @default.
- W75645059 hasVolume "10" @default.
- W75645059 isParatext "false" @default.
- W75645059 isRetracted "false" @default.
- W75645059 magId "75645059" @default.
- W75645059 workType "article" @default.