Matches in SemOpenAlex for { <https://semopenalex.org/work/W66420102> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W66420102 abstract "The composition of processes is in general not secrecy preserving under the Dolev-Yao attacker model. In this paper, we describe an algorithmic decision procedure which determines whether the composition of secrecy preserving processes is still secrecy preserving. As a case-study we consider a variant of the TLS protocol where, even though the client and server considered separately would be viewed as preserving the secrecy of the data to be communicated, its composition to the complete protocol does not preserve that secrecy. We also show results on tool support that allows one to validate the efficiency of our algorithm for multiple compositions." @default.
- W66420102 created "2016-06-24" @default.
- W66420102 creator A5019979722 @default.
- W66420102 creator A5029120753 @default.
- W66420102 creator A5057558979 @default.
- W66420102 date "2012-01-01" @default.
- W66420102 modified "2023-10-17" @default.
- W66420102 title "A Sound Decision Procedure for the Compositionality of Secrecy" @default.
- W66420102 cites W1518159004 @default.
- W66420102 cites W1602381506 @default.
- W66420102 cites W1733903134 @default.
- W66420102 cites W2001362861 @default.
- W66420102 cites W2079626875 @default.
- W66420102 cites W2121845793 @default.
- W66420102 cites W2168277905 @default.
- W66420102 cites W3162919972 @default.
- W66420102 doi "https://doi.org/10.1007/978-3-642-28166-2_10" @default.
- W66420102 hasPublicationYear "2012" @default.
- W66420102 type Work @default.
- W66420102 sameAs 66420102 @default.
- W66420102 citedByCount "6" @default.
- W66420102 countsByYear W664201022012 @default.
- W66420102 countsByYear W664201022014 @default.
- W66420102 countsByYear W664201022015 @default.
- W66420102 crossrefType "book-chapter" @default.
- W66420102 hasAuthorship W66420102A5019979722 @default.
- W66420102 hasAuthorship W66420102A5029120753 @default.
- W66420102 hasAuthorship W66420102A5057558979 @default.
- W66420102 hasConcept C121375916 @default.
- W66420102 hasConcept C138885662 @default.
- W66420102 hasConcept C142724271 @default.
- W66420102 hasConcept C154945302 @default.
- W66420102 hasConcept C178489894 @default.
- W66420102 hasConcept C204787440 @default.
- W66420102 hasConcept C2776452267 @default.
- W66420102 hasConcept C2780385302 @default.
- W66420102 hasConcept C33884865 @default.
- W66420102 hasConcept C38652104 @default.
- W66420102 hasConcept C40231798 @default.
- W66420102 hasConcept C41008148 @default.
- W66420102 hasConcept C41895202 @default.
- W66420102 hasConcept C71924100 @default.
- W66420102 hasConcept C80444323 @default.
- W66420102 hasConceptScore W66420102C121375916 @default.
- W66420102 hasConceptScore W66420102C138885662 @default.
- W66420102 hasConceptScore W66420102C142724271 @default.
- W66420102 hasConceptScore W66420102C154945302 @default.
- W66420102 hasConceptScore W66420102C178489894 @default.
- W66420102 hasConceptScore W66420102C204787440 @default.
- W66420102 hasConceptScore W66420102C2776452267 @default.
- W66420102 hasConceptScore W66420102C2780385302 @default.
- W66420102 hasConceptScore W66420102C33884865 @default.
- W66420102 hasConceptScore W66420102C38652104 @default.
- W66420102 hasConceptScore W66420102C40231798 @default.
- W66420102 hasConceptScore W66420102C41008148 @default.
- W66420102 hasConceptScore W66420102C41895202 @default.
- W66420102 hasConceptScore W66420102C71924100 @default.
- W66420102 hasConceptScore W66420102C80444323 @default.
- W66420102 hasLocation W664201021 @default.
- W66420102 hasOpenAccess W66420102 @default.
- W66420102 hasPrimaryLocation W664201021 @default.
- W66420102 hasRelatedWork W1489972580 @default.
- W66420102 hasRelatedWork W1520260193 @default.
- W66420102 hasRelatedWork W1584984507 @default.
- W66420102 hasRelatedWork W1996107803 @default.
- W66420102 hasRelatedWork W2006710227 @default.
- W66420102 hasRelatedWork W2033327323 @default.
- W66420102 hasRelatedWork W2067797538 @default.
- W66420102 hasRelatedWork W2076864770 @default.
- W66420102 hasRelatedWork W2098019984 @default.
- W66420102 hasRelatedWork W2157301192 @default.
- W66420102 hasRelatedWork W2159256409 @default.
- W66420102 hasRelatedWork W2278042544 @default.
- W66420102 hasRelatedWork W232139518 @default.
- W66420102 hasRelatedWork W2357170575 @default.
- W66420102 hasRelatedWork W2402894935 @default.
- W66420102 hasRelatedWork W2427518429 @default.
- W66420102 hasRelatedWork W2762642064 @default.
- W66420102 hasRelatedWork W2990542347 @default.
- W66420102 hasRelatedWork W57932517 @default.
- W66420102 hasRelatedWork W88494997 @default.
- W66420102 isParatext "false" @default.
- W66420102 isRetracted "false" @default.
- W66420102 magId "66420102" @default.
- W66420102 workType "book-chapter" @default.