Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980645253> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1980645253 abstract "We present a security analysis of the SPREADS1 system, a distributed storage service based on a centralized peer-to-peer architecture. We formally modelled the salient behavior of the actual system using ABCD, a high level specification language with a coloured Petri net semantics, which allowed the execution states of the system to be verified. We verified the behavior of the system in the presence of an external Dolev-Yao attacker, unearthing some replay attacks in the original system. Furthermore, since the implementation is also a formal model, we have been able to show that any execution of the model satisfies certain desirable security properties once these flaws are repaired." @default.
- W1980645253 created "2016-06-24" @default.
- W1980645253 creator A5012525965 @default.
- W1980645253 creator A5069395164 @default.
- W1980645253 date "2010-01-01" @default.
- W1980645253 modified "2023-09-25" @default.
- W1980645253 title "Modelling, verification, and formal analysis of security properties in a P2P system" @default.
- W1980645253 cites W1523110583 @default.
- W1980645253 cites W1585279410 @default.
- W1980645253 cites W2029693536 @default.
- W1980645253 cites W2097043903 @default.
- W1980645253 cites W2104374530 @default.
- W1980645253 cites W2155020285 @default.
- W1980645253 doi "https://doi.org/10.1109/cts.2010.5478474" @default.
- W1980645253 hasPublicationYear "2010" @default.
- W1980645253 type Work @default.
- W1980645253 sameAs 1980645253 @default.
- W1980645253 citedByCount "10" @default.
- W1980645253 countsByYear W19806452532012 @default.
- W1980645253 countsByYear W19806452532015 @default.
- W1980645253 countsByYear W19806452532016 @default.
- W1980645253 crossrefType "proceedings-article" @default.
- W1980645253 hasAuthorship W1980645253A5012525965 @default.
- W1980645253 hasAuthorship W1980645253A5069395164 @default.
- W1980645253 hasBestOaLocation W19806452532 @default.
- W1980645253 hasConcept C110251889 @default.
- W1980645253 hasConcept C111498074 @default.
- W1980645253 hasConcept C115903868 @default.
- W1980645253 hasConcept C199360897 @default.
- W1980645253 hasConcept C38652104 @default.
- W1980645253 hasConcept C41008148 @default.
- W1980645253 hasConcept C75606506 @default.
- W1980645253 hasConceptScore W1980645253C110251889 @default.
- W1980645253 hasConceptScore W1980645253C111498074 @default.
- W1980645253 hasConceptScore W1980645253C115903868 @default.
- W1980645253 hasConceptScore W1980645253C199360897 @default.
- W1980645253 hasConceptScore W1980645253C38652104 @default.
- W1980645253 hasConceptScore W1980645253C41008148 @default.
- W1980645253 hasConceptScore W1980645253C75606506 @default.
- W1980645253 hasLocation W19806452531 @default.
- W1980645253 hasLocation W19806452532 @default.
- W1980645253 hasLocation W19806452533 @default.
- W1980645253 hasLocation W19806452534 @default.
- W1980645253 hasLocation W19806452535 @default.
- W1980645253 hasOpenAccess W1980645253 @default.
- W1980645253 hasPrimaryLocation W19806452531 @default.
- W1980645253 hasRelatedWork W1484523181 @default.
- W1980645253 hasRelatedWork W1539212946 @default.
- W1980645253 hasRelatedWork W1550519739 @default.
- W1980645253 hasRelatedWork W2037121848 @default.
- W1980645253 hasRelatedWork W2117798332 @default.
- W1980645253 hasRelatedWork W2118503825 @default.
- W1980645253 hasRelatedWork W2152752131 @default.
- W1980645253 hasRelatedWork W2556057931 @default.
- W1980645253 hasRelatedWork W2605218250 @default.
- W1980645253 hasRelatedWork W2950051185 @default.
- W1980645253 isParatext "false" @default.
- W1980645253 isRetracted "false" @default.
- W1980645253 magId "1980645253" @default.
- W1980645253 workType "article" @default.