Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030202993> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2030202993 abstract "The Dolev-Yao model has been widely used in protocol verification and has been implemented in many protocol verifiers. There are strong assumptions underlying this model, such as perfect cryptography: the aim of the present work is to propose an approach to weaken this hypothesis, by means of probabilistic considerations on the strength of cryptographic functions. Such an approach may effectively be implemented in actual protocol verifiers. The Yahalom protocol is used as an easy example to show this approach." @default.
- W2030202993 created "2016-06-24" @default.
- W2030202993 creator A5008736623 @default.
- W2030202993 creator A5071048212 @default.
- W2030202993 date "2009-01-01" @default.
- W2030202993 modified "2023-09-26" @default.
- W2030202993 title "Weakening the Dolev-Yao model through probability" @default.
- W2030202993 cites W1485364906 @default.
- W2030202993 cites W1532360581 @default.
- W2030202993 cites W1569885018 @default.
- W2030202993 cites W1603799276 @default.
- W2030202993 cites W1973054120 @default.
- W2030202993 cites W1976791634 @default.
- W2030202993 cites W1994676271 @default.
- W2030202993 cites W2001539364 @default.
- W2030202993 cites W20186095 @default.
- W2030202993 cites W2029693536 @default.
- W2030202993 cites W2036385788 @default.
- W2030202993 cites W2073385346 @default.
- W2030202993 cites W2114189125 @default.
- W2030202993 cites W2127035198 @default.
- W2030202993 cites W2169908972 @default.
- W2030202993 cites W3013607954 @default.
- W2030202993 doi "https://doi.org/10.1145/1626195.1626265" @default.
- W2030202993 hasPublicationYear "2009" @default.
- W2030202993 type Work @default.
- W2030202993 sameAs 2030202993 @default.
- W2030202993 citedByCount "1" @default.
- W2030202993 countsByYear W20302029932012 @default.
- W2030202993 crossrefType "proceedings-article" @default.
- W2030202993 hasAuthorship W2030202993A5008736623 @default.
- W2030202993 hasAuthorship W2030202993A5071048212 @default.
- W2030202993 hasBestOaLocation W20302029932 @default.
- W2030202993 hasConcept C142724271 @default.
- W2030202993 hasConcept C154945302 @default.
- W2030202993 hasConcept C15927051 @default.
- W2030202993 hasConcept C178489894 @default.
- W2030202993 hasConcept C204787440 @default.
- W2030202993 hasConcept C2780385302 @default.
- W2030202993 hasConcept C33884865 @default.
- W2030202993 hasConcept C38652104 @default.
- W2030202993 hasConcept C41008148 @default.
- W2030202993 hasConcept C49937458 @default.
- W2030202993 hasConcept C71924100 @default.
- W2030202993 hasConcept C80444323 @default.
- W2030202993 hasConceptScore W2030202993C142724271 @default.
- W2030202993 hasConceptScore W2030202993C154945302 @default.
- W2030202993 hasConceptScore W2030202993C15927051 @default.
- W2030202993 hasConceptScore W2030202993C178489894 @default.
- W2030202993 hasConceptScore W2030202993C204787440 @default.
- W2030202993 hasConceptScore W2030202993C2780385302 @default.
- W2030202993 hasConceptScore W2030202993C33884865 @default.
- W2030202993 hasConceptScore W2030202993C38652104 @default.
- W2030202993 hasConceptScore W2030202993C41008148 @default.
- W2030202993 hasConceptScore W2030202993C49937458 @default.
- W2030202993 hasConceptScore W2030202993C71924100 @default.
- W2030202993 hasConceptScore W2030202993C80444323 @default.
- W2030202993 hasLocation W20302029931 @default.
- W2030202993 hasLocation W20302029932 @default.
- W2030202993 hasOpenAccess W2030202993 @default.
- W2030202993 hasPrimaryLocation W20302029931 @default.
- W2030202993 hasRelatedWork W1497416278 @default.
- W2030202993 hasRelatedWork W1505659502 @default.
- W2030202993 hasRelatedWork W1532150808 @default.
- W2030202993 hasRelatedWork W1548945677 @default.
- W2030202993 hasRelatedWork W1580671553 @default.
- W2030202993 hasRelatedWork W1584984507 @default.
- W2030202993 hasRelatedWork W1805869620 @default.
- W2030202993 hasRelatedWork W1914742777 @default.
- W2030202993 hasRelatedWork W2033747706 @default.
- W2030202993 hasRelatedWork W2082932673 @default.
- W2030202993 hasRelatedWork W2085691404 @default.
- W2030202993 hasRelatedWork W2085705131 @default.
- W2030202993 hasRelatedWork W2120961426 @default.
- W2030202993 hasRelatedWork W2151256982 @default.
- W2030202993 hasRelatedWork W2152241830 @default.
- W2030202993 hasRelatedWork W2227701282 @default.
- W2030202993 hasRelatedWork W2269601462 @default.
- W2030202993 hasRelatedWork W27019089 @default.
- W2030202993 hasRelatedWork W2949937073 @default.
- W2030202993 hasRelatedWork W2952418444 @default.
- W2030202993 isParatext "false" @default.
- W2030202993 isRetracted "false" @default.
- W2030202993 magId "2030202993" @default.
- W2030202993 workType "article" @default.