Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170630946> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2170630946 endingPage "379" @default.
- W2170630946 startingPage "363" @default.
- W2170630946 abstract "Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e.g., SSL or TLS). We describe how cryptographic protocol verification techniques based on solving clause sets can be applied to detect vulnerabilities of C programs in the Dolev-Yao model, statically. This involves integrating fairly simple pointer analysis techniques with an analysis of which messages an external intruder may collect and forge. This also involves relating concrete run-time data with abstract, logical terms representing messages. To this end, we make use of so-called trust assertions. The output of the analysis is a set of clauses in the decidable class (mathcal{H}_1), which can then be solved independently. This can be used to establish secrecy properties, and to detect some other bugs." @default.
- W2170630946 created "2016-06-24" @default.
- W2170630946 creator A5004307984 @default.
- W2170630946 creator A5032396554 @default.
- W2170630946 date "2005-01-01" @default.
- W2170630946 modified "2023-10-17" @default.
- W2170630946 title "Cryptographic Protocol Analysis on Real C Code" @default.
- W2170630946 cites W1553458439 @default.
- W2170630946 cites W1589756554 @default.
- W2170630946 cites W1607645463 @default.
- W2170630946 cites W1755257908 @default.
- W2170630946 cites W1991837261 @default.
- W2170630946 cites W2029693536 @default.
- W2170630946 cites W2046699259 @default.
- W2170630946 cites W2069476565 @default.
- W2170630946 cites W2114104031 @default.
- W2170630946 cites W2146973388 @default.
- W2170630946 cites W2169908972 @default.
- W2170630946 cites W2916262976 @default.
- W2170630946 cites W3100198463 @default.
- W2170630946 cites W4242510430 @default.
- W2170630946 doi "https://doi.org/10.1007/978-3-540-30579-8_24" @default.
- W2170630946 hasPublicationYear "2005" @default.
- W2170630946 type Work @default.
- W2170630946 sameAs 2170630946 @default.
- W2170630946 citedByCount "86" @default.
- W2170630946 countsByYear W21706309462012 @default.
- W2170630946 countsByYear W21706309462013 @default.
- W2170630946 countsByYear W21706309462014 @default.
- W2170630946 countsByYear W21706309462015 @default.
- W2170630946 countsByYear W21706309462016 @default.
- W2170630946 countsByYear W21706309462017 @default.
- W2170630946 countsByYear W21706309462018 @default.
- W2170630946 countsByYear W21706309462019 @default.
- W2170630946 countsByYear W21706309462020 @default.
- W2170630946 countsByYear W21706309462022 @default.
- W2170630946 crossrefType "book-chapter" @default.
- W2170630946 hasAuthorship W2170630946A5004307984 @default.
- W2170630946 hasAuthorship W2170630946A5032396554 @default.
- W2170630946 hasBestOaLocation W21706309462 @default.
- W2170630946 hasConcept C142724271 @default.
- W2170630946 hasConcept C150202949 @default.
- W2170630946 hasConcept C153269930 @default.
- W2170630946 hasConcept C15927051 @default.
- W2170630946 hasConcept C177264268 @default.
- W2170630946 hasConcept C178489894 @default.
- W2170630946 hasConcept C199360897 @default.
- W2170630946 hasConcept C204787440 @default.
- W2170630946 hasConcept C2776452267 @default.
- W2170630946 hasConcept C2780385302 @default.
- W2170630946 hasConcept C31972630 @default.
- W2170630946 hasConcept C33884865 @default.
- W2170630946 hasConcept C38652104 @default.
- W2170630946 hasConcept C41008148 @default.
- W2170630946 hasConcept C71924100 @default.
- W2170630946 hasConcept C80444323 @default.
- W2170630946 hasConceptScore W2170630946C142724271 @default.
- W2170630946 hasConceptScore W2170630946C150202949 @default.
- W2170630946 hasConceptScore W2170630946C153269930 @default.
- W2170630946 hasConceptScore W2170630946C15927051 @default.
- W2170630946 hasConceptScore W2170630946C177264268 @default.
- W2170630946 hasConceptScore W2170630946C178489894 @default.
- W2170630946 hasConceptScore W2170630946C199360897 @default.
- W2170630946 hasConceptScore W2170630946C204787440 @default.
- W2170630946 hasConceptScore W2170630946C2776452267 @default.
- W2170630946 hasConceptScore W2170630946C2780385302 @default.
- W2170630946 hasConceptScore W2170630946C31972630 @default.
- W2170630946 hasConceptScore W2170630946C33884865 @default.
- W2170630946 hasConceptScore W2170630946C38652104 @default.
- W2170630946 hasConceptScore W2170630946C41008148 @default.
- W2170630946 hasConceptScore W2170630946C71924100 @default.
- W2170630946 hasConceptScore W2170630946C80444323 @default.
- W2170630946 hasLocation W21706309461 @default.
- W2170630946 hasLocation W21706309462 @default.
- W2170630946 hasOpenAccess W2170630946 @default.
- W2170630946 hasPrimaryLocation W21706309461 @default.
- W2170630946 hasRelatedWork W1533411097 @default.
- W2170630946 hasRelatedWork W1585860117 @default.
- W2170630946 hasRelatedWork W1762943472 @default.
- W2170630946 hasRelatedWork W2076864770 @default.
- W2170630946 hasRelatedWork W2157303295 @default.
- W2170630946 hasRelatedWork W2495300764 @default.
- W2170630946 hasRelatedWork W2743379575 @default.
- W2170630946 hasRelatedWork W2925928953 @default.
- W2170630946 hasRelatedWork W2949867740 @default.
- W2170630946 hasRelatedWork W2585025927 @default.
- W2170630946 isParatext "false" @default.
- W2170630946 isRetracted "false" @default.
- W2170630946 magId "2170630946" @default.
- W2170630946 workType "book-chapter" @default.