Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005648310> ?p ?o ?g. }
- W2005648310 endingPage "261" @default.
- W2005648310 startingPage "233" @default.
- W2005648310 abstract "In a collaborative system, the agents collaborate to achieve a common goal, but they are not willing to share some sensitive private information. The question is how much damage can be done by a malicious participant sitting inside the system. We assume that all the participants (including internal adversaries) have bounded memory – at any moment, they can store only a fixed number of messages of a fixed size. The Dolev–Yao adversaries can compose, decompose, eavesdrop, and intercept messages, and create fresh values (nonces), but within their bounded memory. We prove that the secrecy problem is PSPACE-complete in the bounded memory model where all actions are balanced and a potentially infinite number of the nonce updates is allowed. We also show that the well-known security protocol anomalies (starting from the Lowe attack to the Needham–Schroeder protocol) can be rephrased within the bounded memory paradigm with the explicit memory bounds." @default.
- W2005648310 created "2016-06-24" @default.
- W2005648310 creator A5048798287 @default.
- W2005648310 creator A5054465062 @default.
- W2005648310 creator A5058795427 @default.
- W2005648310 creator A5080152569 @default.
- W2005648310 date "2014-11-01" @default.
- W2005648310 modified "2023-10-14" @default.
- W2005648310 title "Bounded memory Dolev–Yao adversaries in collaborative systems" @default.
- W2005648310 cites W1648795825 @default.
- W2005648310 cites W1982129592 @default.
- W2005648310 cites W1996404651 @default.
- W2005648310 cites W1999161312 @default.
- W2005648310 cites W2009426964 @default.
- W2005648310 cites W2013689938 @default.
- W2005648310 cites W2017668106 @default.
- W2005648310 cites W2022472002 @default.
- W2005648310 cites W2029693536 @default.
- W2005648310 cites W2083567135 @default.
- W2005648310 cites W2088096459 @default.
- W2005648310 cites W2114497629 @default.
- W2005648310 cites W2118377274 @default.
- W2005648310 cites W2146973388 @default.
- W2005648310 cites W2166933234 @default.
- W2005648310 cites W2911865844 @default.
- W2005648310 doi "https://doi.org/10.1016/j.ic.2014.07.011" @default.
- W2005648310 hasPublicationYear "2014" @default.
- W2005648310 type Work @default.
- W2005648310 sameAs 2005648310 @default.
- W2005648310 citedByCount "20" @default.
- W2005648310 countsByYear W20056483102014 @default.
- W2005648310 countsByYear W20056483102015 @default.
- W2005648310 countsByYear W20056483102016 @default.
- W2005648310 countsByYear W20056483102017 @default.
- W2005648310 countsByYear W20056483102018 @default.
- W2005648310 countsByYear W20056483102019 @default.
- W2005648310 countsByYear W20056483102020 @default.
- W2005648310 countsByYear W20056483102021 @default.
- W2005648310 countsByYear W20056483102022 @default.
- W2005648310 crossrefType "journal-article" @default.
- W2005648310 hasAuthorship W2005648310A5048798287 @default.
- W2005648310 hasAuthorship W2005648310A5054465062 @default.
- W2005648310 hasAuthorship W2005648310A5058795427 @default.
- W2005648310 hasAuthorship W2005648310A5080152569 @default.
- W2005648310 hasBestOaLocation W20056483101 @default.
- W2005648310 hasConcept C118615104 @default.
- W2005648310 hasConcept C134306372 @default.
- W2005648310 hasConcept C142724271 @default.
- W2005648310 hasConcept C148730421 @default.
- W2005648310 hasConcept C178489894 @default.
- W2005648310 hasConcept C204787440 @default.
- W2005648310 hasConcept C2776452267 @default.
- W2005648310 hasConcept C2780385302 @default.
- W2005648310 hasConcept C33884865 @default.
- W2005648310 hasConcept C33923547 @default.
- W2005648310 hasConcept C34388435 @default.
- W2005648310 hasConcept C38652104 @default.
- W2005648310 hasConcept C41008148 @default.
- W2005648310 hasConcept C71924100 @default.
- W2005648310 hasConcept C80444323 @default.
- W2005648310 hasConcept C9996903 @default.
- W2005648310 hasConceptScore W2005648310C118615104 @default.
- W2005648310 hasConceptScore W2005648310C134306372 @default.
- W2005648310 hasConceptScore W2005648310C142724271 @default.
- W2005648310 hasConceptScore W2005648310C148730421 @default.
- W2005648310 hasConceptScore W2005648310C178489894 @default.
- W2005648310 hasConceptScore W2005648310C204787440 @default.
- W2005648310 hasConceptScore W2005648310C2776452267 @default.
- W2005648310 hasConceptScore W2005648310C2780385302 @default.
- W2005648310 hasConceptScore W2005648310C33884865 @default.
- W2005648310 hasConceptScore W2005648310C33923547 @default.
- W2005648310 hasConceptScore W2005648310C34388435 @default.
- W2005648310 hasConceptScore W2005648310C38652104 @default.
- W2005648310 hasConceptScore W2005648310C41008148 @default.
- W2005648310 hasConceptScore W2005648310C71924100 @default.
- W2005648310 hasConceptScore W2005648310C80444323 @default.
- W2005648310 hasConceptScore W2005648310C9996903 @default.
- W2005648310 hasFunder F4320306076 @default.
- W2005648310 hasFunder F4320308269 @default.
- W2005648310 hasFunder F4320321091 @default.
- W2005648310 hasFunder F4320322025 @default.
- W2005648310 hasFunder F4320337345 @default.
- W2005648310 hasFunder F4320338279 @default.
- W2005648310 hasLocation W20056483101 @default.
- W2005648310 hasOpenAccess W2005648310 @default.
- W2005648310 hasPrimaryLocation W20056483101 @default.
- W2005648310 hasRelatedWork W1506075192 @default.
- W2005648310 hasRelatedWork W1567557918 @default.
- W2005648310 hasRelatedWork W1762943472 @default.
- W2005648310 hasRelatedWork W2104655005 @default.
- W2005648310 hasRelatedWork W2612627043 @default.
- W2005648310 hasRelatedWork W2990542347 @default.
- W2005648310 hasRelatedWork W3137672149 @default.
- W2005648310 hasRelatedWork W359430047 @default.
- W2005648310 hasRelatedWork W4221141245 @default.
- W2005648310 hasRelatedWork W4292263077 @default.
- W2005648310 hasVolume "238" @default.
- W2005648310 isParatext "false" @default.