FRINK Linked Data Fragments server

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

• W3030182843 startingPage "74" @default.
• W3030182843 abstract "In this paper we study the link between formal and cryptographic models for security protocols in the presence of passive adversaries. In contrast to other works, we do not consider a fixed set of primitives but aim at results for arbitrary equational theories. We define a framework for comparing a cryptographic implementation and its idealization with respect to various security notions. In particular, we concentrate on the computational soundness of static equivalence, a standard tool in cryptographic pi calculi. We present a soundness criterion, which for many theories is not only sufficient but also necessary. Finally, to illustrate our framework, we establish the soundness of static equivalence for the exclusive OR and a theory of ciphers and lists." @default.
• W3030182843 created "2020-06-05" @default.
• W3030182843 creator A5061379856 @default.
• W3030182843 creator A5070402905 @default.
• W3030182843 creator A5085316790 @default.
• W3030182843 date "2005-01-01" @default.
• W3030182843 modified "2023-09-25" @default.
• W3030182843 title "Computationally sound implementations of equational theories against passive adversaries." @default.
• W3030182843 cites W124337392 @default.
• W3030182843 cites W1488313539 @default.
• W3030182843 cites W1492390108 @default.
• W3030182843 cites W1492512692 @default.
• W3030182843 cites W1504946151 @default.
• W3030182843 cites W1505659502 @default.
• W3030182843 cites W1508967933 @default.
• W3030182843 cites W1523775240 @default.
• W3030182843 cites W1544859938 @default.
• W3030182843 cites W1559802411 @default.
• W3030182843 cites W1582972367 @default.
• W3030182843 cites W1605744481 @default.
• W3030182843 cites W1658032532 @default.
• W3030182843 cites W1760594424 @default.
• W3030182843 cites W1860797715 @default.
• W3030182843 cites W1913041503 @default.
• W3030182843 cites W1973054120 @default.
• W3030182843 cites W1982325601 @default.
• W3030182843 cites W1996497395 @default.
• W3030182843 cites W2029693536 @default.
• W3030182843 cites W2060349224 @default.
• W3030182843 cites W2098263389 @default.
• W3030182843 cites W2099479778 @default.
• W3030182843 cites W2102632421 @default.
• W3030182843 cites W2106880005 @default.
• W3030182843 cites W2108978217 @default.
• W3030182843 cites W2127035198 @default.
• W3030182843 cites W2129956927 @default.
• W3030182843 cites W2130899669 @default.
• W3030182843 cites W2137546893 @default.
• W3030182843 cites W2153146986 @default.
• W3030182843 cites W2213822068 @default.
• W3030182843 cites W3021065823 @default.
• W3030182843 cites W1530591198 @default.
• W3030182843 hasPublicationYear "2005" @default.
• W3030182843 type Work @default.
• W3030182843 sameAs 3030182843 @default.
• W3030182843 citedByCount "0" @default.
• W3030182843 crossrefType "posted-content" @default.
• W3030182843 hasAuthorship W3030182843A5061379856 @default.
• W3030182843 hasAuthorship W3030182843A5070402905 @default.
• W3030182843 hasAuthorship W3030182843A5085316790 @default.
• W3030182843 hasConcept C11413529 @default.
• W3030182843 hasConcept C118615104 @default.
• W3030182843 hasConcept C121332964 @default.
• W3030182843 hasConcept C15927051 @default.
• W3030182843 hasConcept C177264268 @default.
• W3030182843 hasConcept C178489894 @default.
• W3030182843 hasConcept C199360897 @default.
• W3030182843 hasConcept C26713055 @default.
• W3030182843 hasConcept C2780069185 @default.
• W3030182843 hasConcept C2780986378 @default.
• W3030182843 hasConcept C33884865 @default.
• W3030182843 hasConcept C33923547 @default.
• W3030182843 hasConcept C39920170 @default.
• W3030182843 hasConcept C41008148 @default.
• W3030182843 hasConcept C62520636 @default.
• W3030182843 hasConcept C80444323 @default.
• W3030182843 hasConceptScore W3030182843C11413529 @default.
• W3030182843 hasConceptScore W3030182843C118615104 @default.
• W3030182843 hasConceptScore W3030182843C121332964 @default.
• W3030182843 hasConceptScore W3030182843C15927051 @default.
• W3030182843 hasConceptScore W3030182843C177264268 @default.
• W3030182843 hasConceptScore W3030182843C178489894 @default.
• W3030182843 hasConceptScore W3030182843C199360897 @default.
• W3030182843 hasConceptScore W3030182843C26713055 @default.
• W3030182843 hasConceptScore W3030182843C2780069185 @default.
• W3030182843 hasConceptScore W3030182843C2780986378 @default.
• W3030182843 hasConceptScore W3030182843C33884865 @default.
• W3030182843 hasConceptScore W3030182843C33923547 @default.
• W3030182843 hasConceptScore W3030182843C39920170 @default.
• W3030182843 hasConceptScore W3030182843C41008148 @default.
• W3030182843 hasConceptScore W3030182843C62520636 @default.
• W3030182843 hasConceptScore W3030182843C80444323 @default.
• W3030182843 hasLocation W30301828431 @default.
• W3030182843 hasOpenAccess W3030182843 @default.
• W3030182843 hasPrimaryLocation W30301828431 @default.
• W3030182843 hasRelatedWork W153387283 @default.
• W3030182843 hasRelatedWork W1580671553 @default.
• W3030182843 hasRelatedWork W1681051970 @default.
• W3030182843 hasRelatedWork W1810931524 @default.
• W3030182843 hasRelatedWork W188034648 @default.
• W3030182843 hasRelatedWork W194467232 @default.
• W3030182843 hasRelatedWork W2000943029 @default.
• W3030182843 hasRelatedWork W203163398 @default.
• W3030182843 hasRelatedWork W2055665937 @default.
• W3030182843 hasRelatedWork W2057936571 @default.
• W3030182843 hasRelatedWork W2063161063 @default.
• W3030182843 hasRelatedWork W2080269101 @default.
• W3030182843 hasRelatedWork W2124076185 @default.
• W3030182843 hasRelatedWork W2186261151 @default.

• next