FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3047594216> ?p ?o ?g. }

• W3047594216 abstract "The rise of contactless and wireless devices such as mobile phones and RFID chips justifies significant concerns over privacy, and calls for communication protocols that ensure some form of unlinkability. Formally specifying this property is difficult and context-dependent, and analysing it is very complex; as is common with security protocols, several incorrect unlinkability claims can be found in the literature. Formal verification is therefore desirable, but current techniques are not sufficient to directly analyse unlinkability. In [21], two conditions have been identified that imply unlinkability and can be automatically verified. That work, however, only considers a restricted class of protocols. We adapt their formal definition as well as their proof method to the common setting of RFID authentication protocols, where readers access a central database of authorised users. Moreover, we also consider protocols where readers may update their database, and tags may also carry a mutable state. We propose sufficient conditions to ensure unlinkability, find new attacks, and obtain new proofs of unlinkability using Tamarin to establish our sufficient conditions." @default.
• W3047594216 created "2020-08-10" @default.
• W3047594216 creator A5044963896 @default.
• W3047594216 creator A5068404835 @default.
• W3047594216 creator A5084860539 @default.
• W3047594216 date "2020-06-01" @default.
• W3047594216 modified "2023-10-01" @default.
• W3047594216 title "A Method for Proving Unlinkability of Stateful Protocols" @default.
• W3047594216 cites W146244851 @default.
• W3047594216 cites W1505127333 @default.
• W3047594216 cites W1775055752 @default.
• W3047594216 cites W1782799247 @default.
• W3047594216 cites W1973054120 @default.
• W3047594216 cites W1979418580 @default.
• W3047594216 cites W1981857788 @default.
• W3047594216 cites W2055259417 @default.
• W3047594216 cites W2114189125 @default.
• W3047594216 cites W2166482485 @default.
• W3047594216 cites W2167816957 @default.
• W3047594216 cites W2477375676 @default.
• W3047594216 cites W2500947442 @default.
• W3047594216 cites W2797615593 @default.
• W3047594216 cites W2807731952 @default.
• W3047594216 cites W2906890170 @default.
• W3047594216 cites W2914152958 @default.
• W3047594216 cites W2963230280 @default.
• W3047594216 cites W2969545733 @default.
• W3047594216 cites W4236894072 @default.
• W3047594216 doi "https://doi.org/10.1109/csf49147.2020.00020" @default.
• W3047594216 hasPublicationYear "2020" @default.
• W3047594216 type Work @default.
• W3047594216 sameAs 3047594216 @default.
• W3047594216 citedByCount "7" @default.
• W3047594216 countsByYear W30475942162020 @default.
• W3047594216 countsByYear W30475942162021 @default.
• W3047594216 countsByYear W30475942162022 @default.
• W3047594216 countsByYear W30475942162023 @default.
• W3047594216 crossrefType "proceedings-article" @default.
• W3047594216 hasAuthorship W3047594216A5044963896 @default.
• W3047594216 hasAuthorship W3047594216A5068404835 @default.
• W3047594216 hasAuthorship W3047594216A5084860539 @default.
• W3047594216 hasBestOaLocation W30475942162 @default.
• W3047594216 hasConcept C108710211 @default.
• W3047594216 hasConcept C111472728 @default.
• W3047594216 hasConcept C123436394 @default.
• W3047594216 hasConcept C138885662 @default.
• W3047594216 hasConcept C142724271 @default.
• W3047594216 hasConcept C148417208 @default.
• W3047594216 hasConcept C151730666 @default.
• W3047594216 hasConcept C154945302 @default.
• W3047594216 hasConcept C158379750 @default.
• W3047594216 hasConcept C180706569 @default.
• W3047594216 hasConcept C189950617 @default.
• W3047594216 hasConcept C199360897 @default.
• W3047594216 hasConcept C204787440 @default.
• W3047594216 hasConcept C22927095 @default.
• W3047594216 hasConcept C2524010 @default.
• W3047594216 hasConcept C2777212361 @default.
• W3047594216 hasConcept C2779343474 @default.
• W3047594216 hasConcept C2780385302 @default.
• W3047594216 hasConcept C33923547 @default.
• W3047594216 hasConcept C38652104 @default.
• W3047594216 hasConcept C41008148 @default.
• W3047594216 hasConcept C71924100 @default.
• W3047594216 hasConcept C75606506 @default.
• W3047594216 hasConcept C86803240 @default.
• W3047594216 hasConcept C94461902 @default.
• W3047594216 hasConceptScore W3047594216C108710211 @default.
• W3047594216 hasConceptScore W3047594216C111472728 @default.
• W3047594216 hasConceptScore W3047594216C123436394 @default.
• W3047594216 hasConceptScore W3047594216C138885662 @default.
• W3047594216 hasConceptScore W3047594216C142724271 @default.
• W3047594216 hasConceptScore W3047594216C148417208 @default.
• W3047594216 hasConceptScore W3047594216C151730666 @default.
• W3047594216 hasConceptScore W3047594216C154945302 @default.
• W3047594216 hasConceptScore W3047594216C158379750 @default.
• W3047594216 hasConceptScore W3047594216C180706569 @default.
• W3047594216 hasConceptScore W3047594216C189950617 @default.
• W3047594216 hasConceptScore W3047594216C199360897 @default.
• W3047594216 hasConceptScore W3047594216C204787440 @default.
• W3047594216 hasConceptScore W3047594216C22927095 @default.
• W3047594216 hasConceptScore W3047594216C2524010 @default.
• W3047594216 hasConceptScore W3047594216C2777212361 @default.
• W3047594216 hasConceptScore W3047594216C2779343474 @default.
• W3047594216 hasConceptScore W3047594216C2780385302 @default.
• W3047594216 hasConceptScore W3047594216C33923547 @default.
• W3047594216 hasConceptScore W3047594216C38652104 @default.
• W3047594216 hasConceptScore W3047594216C41008148 @default.
• W3047594216 hasConceptScore W3047594216C71924100 @default.
• W3047594216 hasConceptScore W3047594216C75606506 @default.
• W3047594216 hasConceptScore W3047594216C86803240 @default.
• W3047594216 hasConceptScore W3047594216C94461902 @default.
• W3047594216 hasLocation W30475942161 @default.
• W3047594216 hasLocation W30475942162 @default.
• W3047594216 hasLocation W30475942163 @default.
• W3047594216 hasLocation W30475942164 @default.
• W3047594216 hasOpenAccess W3047594216 @default.
• W3047594216 hasPrimaryLocation W30475942161 @default.
• W3047594216 hasRelatedWork W1566084892 @default.
• W3047594216 hasRelatedWork W2116536633 @default.

• next