Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990278526> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1990278526 abstract "In this paper we define the sub-graph of strand spaces by extending the open bundle, which is adopted as the formalism of security protocols that run in an infinite concurrent way. We re-define communication relations amongst nodes and causal predecessor relations by refining sub-term relations respectively. The novel sub-graph of strand spaces of security protocols that run in infinite concurrent ways, which is different from the open bundle contributes to simplifying its strand spaces to reduce the computational complexity of proofs of safety properties based on theorem proving. The extending strand space theory that contains the method of sub-graphs of strand spaces can be also used to analyses of ordinary concurrent systems." @default.
- W1990278526 created "2016-06-24" @default.
- W1990278526 creator A5026573048 @default.
- W1990278526 date "2013-12-01" @default.
- W1990278526 modified "2023-09-23" @default.
- W1990278526 title "A sub-graph of strand spaces in security protocols" @default.
- W1990278526 cites W1537986999 @default.
- W1990278526 cites W1542439121 @default.
- W1990278526 cites W1985249425 @default.
- W1990278526 cites W2025141978 @default.
- W1990278526 cites W2104655005 @default.
- W1990278526 cites W2124030056 @default.
- W1990278526 cites W2146681155 @default.
- W1990278526 cites W2169908972 @default.
- W1990278526 cites W2472673498 @default.
- W1990278526 doi "https://doi.org/10.1109/imsna.2013.6743252" @default.
- W1990278526 hasPublicationYear "2013" @default.
- W1990278526 type Work @default.
- W1990278526 sameAs 1990278526 @default.
- W1990278526 citedByCount "0" @default.
- W1990278526 crossrefType "proceedings-article" @default.
- W1990278526 hasAuthorship W1990278526A5026573048 @default.
- W1990278526 hasConcept C108710211 @default.
- W1990278526 hasConcept C114614502 @default.
- W1990278526 hasConcept C118615104 @default.
- W1990278526 hasConcept C132525143 @default.
- W1990278526 hasConcept C142362112 @default.
- W1990278526 hasConcept C153349607 @default.
- W1990278526 hasConcept C159985019 @default.
- W1990278526 hasConcept C192562407 @default.
- W1990278526 hasConcept C2524010 @default.
- W1990278526 hasConcept C2778134712 @default.
- W1990278526 hasConcept C33923547 @default.
- W1990278526 hasConcept C41008148 @default.
- W1990278526 hasConcept C558565934 @default.
- W1990278526 hasConcept C73301696 @default.
- W1990278526 hasConcept C80444323 @default.
- W1990278526 hasConcept C88230418 @default.
- W1990278526 hasConceptScore W1990278526C108710211 @default.
- W1990278526 hasConceptScore W1990278526C114614502 @default.
- W1990278526 hasConceptScore W1990278526C118615104 @default.
- W1990278526 hasConceptScore W1990278526C132525143 @default.
- W1990278526 hasConceptScore W1990278526C142362112 @default.
- W1990278526 hasConceptScore W1990278526C153349607 @default.
- W1990278526 hasConceptScore W1990278526C159985019 @default.
- W1990278526 hasConceptScore W1990278526C192562407 @default.
- W1990278526 hasConceptScore W1990278526C2524010 @default.
- W1990278526 hasConceptScore W1990278526C2778134712 @default.
- W1990278526 hasConceptScore W1990278526C33923547 @default.
- W1990278526 hasConceptScore W1990278526C41008148 @default.
- W1990278526 hasConceptScore W1990278526C558565934 @default.
- W1990278526 hasConceptScore W1990278526C73301696 @default.
- W1990278526 hasConceptScore W1990278526C80444323 @default.
- W1990278526 hasConceptScore W1990278526C88230418 @default.
- W1990278526 hasLocation W19902785261 @default.
- W1990278526 hasOpenAccess W1990278526 @default.
- W1990278526 hasPrimaryLocation W19902785261 @default.
- W1990278526 hasRelatedWork W1970929606 @default.
- W1990278526 hasRelatedWork W2015780695 @default.
- W1990278526 hasRelatedWork W2022155190 @default.
- W1990278526 hasRelatedWork W2124059194 @default.
- W1990278526 hasRelatedWork W2402161216 @default.
- W1990278526 hasRelatedWork W2542647517 @default.
- W1990278526 hasRelatedWork W2613840268 @default.
- W1990278526 hasRelatedWork W2735923117 @default.
- W1990278526 hasRelatedWork W2895278266 @default.
- W1990278526 hasRelatedWork W3174634921 @default.
- W1990278526 isParatext "false" @default.
- W1990278526 isRetracted "false" @default.
- W1990278526 magId "1990278526" @default.
- W1990278526 workType "article" @default.