FRINK Linked Data Fragments server

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

• W188034648 endingPage "208" @default.
• W188034648 startingPage "189" @default.
• W188034648 abstract "We consider the question of the adequacy of symbolic models versus computational models for the verification of security protocols. We neither try to include properties in the symbolic model that reflect the properties of the computational primitives nor add computational requirements that enforce the soundness of the symbolic model. We propose in this paper a different approach: everything is possible in the symbolic model, unless it contradicts a computational assumption. In this way, we obtain unconditional soundness almost by construction. And we do not need to assume the absence of dynamic corruption or the absence of key-cycles, which are examples of hypotheses that are always used in related works. We set the basic framework, for arbitrary cryptographic primitives and arbitrary protocols, however for trace security properties only." @default.
• W188034648 created "2016-06-24" @default.
• W188034648 creator A5027210933 @default.
• W188034648 creator A5091874968 @default.
• W188034648 date "2012-01-01" @default.
• W188034648 modified "2023-10-14" @default.
• W188034648 title "Towards Unconditional Soundness: Computationally Complete Symbolic Attacker" @default.
• W188034648 cites W1485364906 @default.
• W188034648 cites W1507112684 @default.
• W188034648 cites W1508967933 @default.
• W188034648 cites W1599617995 @default.
• W188034648 cites W1601458649 @default.
• W188034648 cites W1760594424 @default.
• W188034648 cites W1878255659 @default.
• W188034648 cites W1987581799 @default.
• W188034648 cites W1988245494 @default.
• W188034648 cites W2000141049 @default.
• W188034648 cites W2056241458 @default.
• W188034648 cites W2063161063 @default.
• W188034648 cites W2117064875 @default.
• W188034648 cites W2126338744 @default.
• W188034648 cites W2155032609 @default.
• W188034648 cites W2155078268 @default.
• W188034648 cites W2168151327 @default.
• W188034648 cites W4240432851 @default.
• W188034648 cites W75368128 @default.
• W188034648 cites W2067560675 @default.
• W188034648 doi "https://doi.org/10.1007/978-3-642-28641-4_11" @default.
• W188034648 hasPublicationYear "2012" @default.
• W188034648 type Work @default.
• W188034648 sameAs 188034648 @default.
• W188034648 citedByCount "29" @default.
• W188034648 countsByYear W1880346482012 @default.
• W188034648 countsByYear W1880346482013 @default.
• W188034648 countsByYear W1880346482014 @default.
• W188034648 countsByYear W1880346482015 @default.
• W188034648 countsByYear W1880346482016 @default.
• W188034648 countsByYear W1880346482017 @default.
• W188034648 countsByYear W1880346482018 @default.
• W188034648 countsByYear W1880346482019 @default.
• W188034648 countsByYear W1880346482020 @default.
• W188034648 countsByYear W1880346482021 @default.
• W188034648 countsByYear W1880346482023 @default.
• W188034648 crossrefType "book-chapter" @default.
• W188034648 hasAuthorship W188034648A5027210933 @default.
• W188034648 hasAuthorship W188034648A5091874968 @default.
• W188034648 hasBestOaLocation W1880346481 @default.
• W188034648 hasConcept C110251889 @default.
• W188034648 hasConcept C11413529 @default.
• W188034648 hasConcept C138885662 @default.
• W188034648 hasConcept C177264268 @default.
• W188034648 hasConcept C178489894 @default.
• W188034648 hasConcept C199360897 @default.
• W188034648 hasConcept C23123167 @default.
• W188034648 hasConcept C26517878 @default.
• W188034648 hasConcept C2777904410 @default.
• W188034648 hasConcept C2779639559 @default.
• W188034648 hasConcept C33884865 @default.
• W188034648 hasConcept C38652104 @default.
• W188034648 hasConcept C39920170 @default.
• W188034648 hasConcept C41008148 @default.
• W188034648 hasConcept C41895202 @default.
• W188034648 hasConcept C65620979 @default.
• W188034648 hasConcept C75291252 @default.
• W188034648 hasConcept C80444323 @default.
• W188034648 hasConceptScore W188034648C110251889 @default.
• W188034648 hasConceptScore W188034648C11413529 @default.
• W188034648 hasConceptScore W188034648C138885662 @default.
• W188034648 hasConceptScore W188034648C177264268 @default.
• W188034648 hasConceptScore W188034648C178489894 @default.
• W188034648 hasConceptScore W188034648C199360897 @default.
• W188034648 hasConceptScore W188034648C23123167 @default.
• W188034648 hasConceptScore W188034648C26517878 @default.
• W188034648 hasConceptScore W188034648C2777904410 @default.
• W188034648 hasConceptScore W188034648C2779639559 @default.
• W188034648 hasConceptScore W188034648C33884865 @default.
• W188034648 hasConceptScore W188034648C38652104 @default.
• W188034648 hasConceptScore W188034648C39920170 @default.
• W188034648 hasConceptScore W188034648C41008148 @default.
• W188034648 hasConceptScore W188034648C41895202 @default.
• W188034648 hasConceptScore W188034648C65620979 @default.
• W188034648 hasConceptScore W188034648C75291252 @default.
• W188034648 hasConceptScore W188034648C80444323 @default.
• W188034648 hasLocation W1880346481 @default.
• W188034648 hasLocation W1880346482 @default.
• W188034648 hasLocation W1880346483 @default.
• W188034648 hasOpenAccess W188034648 @default.
• W188034648 hasPrimaryLocation W1880346481 @default.
• W188034648 hasRelatedWork W2044213223 @default.
• W188034648 hasRelatedWork W2101264565 @default.
• W188034648 hasRelatedWork W2144517099 @default.
• W188034648 hasRelatedWork W2147015581 @default.
• W188034648 hasRelatedWork W2514597554 @default.
• W188034648 hasRelatedWork W3141167149 @default.
• W188034648 hasRelatedWork W3194906003 @default.
• W188034648 hasRelatedWork W345638404 @default.
• W188034648 hasRelatedWork W4245197793 @default.
• W188034648 hasRelatedWork W4254035807 @default.

• next