Matches in SemOpenAlex for { <https://semopenalex.org/work/W174517023> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W174517023 endingPage "116" @default.
- W174517023 startingPage "98" @default.
- W174517023 abstract "The classical key distribution protocols are based on symmetric and asymmetric encryption as well as digital signatures. Protocols with different purposes often requires different cryptographic primitives, an example is electronic voting protocols which are often based on the cryptographic operation blinding. In this paper we study the theoretical foundations for one of the successful approaches to validating cryptographic protocols and we extend it to handle the blinding primitive. Our static analysis approach is based on Flow Logic; this gives us a clean separation between the specification of the analysis and its realisation in an automatic tool. We concentrate on the former in the present paper and provide the semantic foundation for our analysis of protocols using blinding - also in the presence of malicious attackers." @default.
- W174517023 created "2016-06-24" @default.
- W174517023 creator A5010357155 @default.
- W174517023 creator A5012948241 @default.
- W174517023 date "2006-06-01" @default.
- W174517023 modified "2023-09-23" @default.
- W174517023 title "Static analysis for blinding" @default.
- W174517023 cites W1479744988 @default.
- W174517023 cites W1502155309 @default.
- W174517023 cites W1553894716 @default.
- W174517023 cites W1601001795 @default.
- W174517023 cites W1603799276 @default.
- W174517023 cites W1974152790 @default.
- W174517023 cites W2031618446 @default.
- W174517023 cites W2039875296 @default.
- W174517023 cites W2047179503 @default.
- W174517023 cites W2072883183 @default.
- W174517023 cites W2090266934 @default.
- W174517023 cites W2116543470 @default.
- W174517023 cites W2134732832 @default.
- W174517023 cites W2141624400 @default.
- W174517023 cites W2144933337 @default.
- W174517023 cites W2757795122 @default.
- W174517023 hasPublicationYear "2006" @default.
- W174517023 type Work @default.
- W174517023 sameAs 174517023 @default.
- W174517023 citedByCount "2" @default.
- W174517023 countsByYear W1745170232013 @default.
- W174517023 crossrefType "proceedings-article" @default.
- W174517023 hasAuthorship W174517023A5010357155 @default.
- W174517023 hasAuthorship W174517023A5012948241 @default.
- W174517023 hasConcept C141071460 @default.
- W174517023 hasConcept C148730421 @default.
- W174517023 hasConcept C15927051 @default.
- W174517023 hasConcept C168563851 @default.
- W174517023 hasConcept C178489894 @default.
- W174517023 hasConcept C199360897 @default.
- W174517023 hasConcept C203062551 @default.
- W174517023 hasConcept C2771230 @default.
- W174517023 hasConcept C33884865 @default.
- W174517023 hasConcept C38652104 @default.
- W174517023 hasConcept C41008148 @default.
- W174517023 hasConcept C65302260 @default.
- W174517023 hasConcept C71924100 @default.
- W174517023 hasConcept C80444323 @default.
- W174517023 hasConcept C97686452 @default.
- W174517023 hasConceptScore W174517023C141071460 @default.
- W174517023 hasConceptScore W174517023C148730421 @default.
- W174517023 hasConceptScore W174517023C15927051 @default.
- W174517023 hasConceptScore W174517023C168563851 @default.
- W174517023 hasConceptScore W174517023C178489894 @default.
- W174517023 hasConceptScore W174517023C199360897 @default.
- W174517023 hasConceptScore W174517023C203062551 @default.
- W174517023 hasConceptScore W174517023C2771230 @default.
- W174517023 hasConceptScore W174517023C33884865 @default.
- W174517023 hasConceptScore W174517023C38652104 @default.
- W174517023 hasConceptScore W174517023C41008148 @default.
- W174517023 hasConceptScore W174517023C65302260 @default.
- W174517023 hasConceptScore W174517023C71924100 @default.
- W174517023 hasConceptScore W174517023C80444323 @default.
- W174517023 hasConceptScore W174517023C97686452 @default.
- W174517023 hasIssue "1" @default.
- W174517023 hasLocation W1745170231 @default.
- W174517023 hasOpenAccess W174517023 @default.
- W174517023 hasPrimaryLocation W1745170231 @default.
- W174517023 hasRelatedWork W115478859 @default.
- W174517023 hasRelatedWork W1190369259 @default.
- W174517023 hasRelatedWork W1554274402 @default.
- W174517023 hasRelatedWork W1570101401 @default.
- W174517023 hasRelatedWork W1953059498 @default.
- W174517023 hasRelatedWork W1971522943 @default.
- W174517023 hasRelatedWork W2047264827 @default.
- W174517023 hasRelatedWork W2055665937 @default.
- W174517023 hasRelatedWork W2264667761 @default.
- W174517023 hasRelatedWork W2337586789 @default.
- W174517023 hasRelatedWork W2400049039 @default.
- W174517023 hasRelatedWork W2576158814 @default.
- W174517023 hasRelatedWork W2639241723 @default.
- W174517023 hasRelatedWork W27019089 @default.
- W174517023 hasRelatedWork W2802459825 @default.
- W174517023 hasRelatedWork W2889802792 @default.
- W174517023 hasRelatedWork W2912141399 @default.
- W174517023 hasRelatedWork W3028869756 @default.
- W174517023 hasRelatedWork W647742179 @default.
- W174517023 hasRelatedWork W88494997 @default.
- W174517023 hasVolume "13" @default.
- W174517023 isParatext "false" @default.
- W174517023 isRetracted "false" @default.
- W174517023 magId "174517023" @default.
- W174517023 workType "article" @default.