Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022602927> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2022602927 abstract "This paper presents a novel framework for proving specifications of security protocols in the computational model and generating runnable implementations from such proved specifications. We rely on the computationally-sound protocol verifier CryptoVerif for proving the specification, and we have implemented a compiler that translates a CryptoVerif specification into an implementation in OCaml. We have applied this compiler to the SSH Transport Layer protocol: we proved the authentication of the server and the secrecy of the session keys in this protocol and verified that the generated implementation successfully interacts with OpenSSH. The secrecy of messages sent over the SSH tunnel cannot be proved due to known weaknesses in SSH with CBC-mode encryption." @default.
- W2022602927 created "2016-06-24" @default.
- W2022602927 creator A5004976322 @default.
- W2022602927 creator A5026543188 @default.
- W2022602927 date "2012-08-01" @default.
- W2022602927 modified "2023-09-25" @default.
- W2022602927 title "From Computationally-proved Protocol Specifications to Implementations" @default.
- W2022602927 cites W1483411077 @default.
- W2022602927 cites W1656266873 @default.
- W2022602927 cites W1977417404 @default.
- W2022602927 cites W1987581799 @default.
- W2022602927 cites W1991234099 @default.
- W2022602927 cites W2036961426 @default.
- W2022602927 cites W2058906062 @default.
- W2022602927 cites W2072210640 @default.
- W2022602927 cites W2081888787 @default.
- W2022602927 cites W2099537756 @default.
- W2022602927 cites W2106847401 @default.
- W2022602927 cites W2112018008 @default.
- W2022602927 cites W2118130761 @default.
- W2022602927 cites W2122650430 @default.
- W2022602927 cites W2134166359 @default.
- W2022602927 cites W2139172211 @default.
- W2022602927 cites W2152845220 @default.
- W2022602927 cites W2156819075 @default.
- W2022602927 cites W2161544156 @default.
- W2022602927 cites W2167104015 @default.
- W2022602927 cites W2168151327 @default.
- W2022602927 cites W2186223146 @default.
- W2022602927 cites W4240226860 @default.
- W2022602927 cites W4289127653 @default.
- W2022602927 doi "https://doi.org/10.1109/ares.2012.63" @default.
- W2022602927 hasPublicationYear "2012" @default.
- W2022602927 type Work @default.
- W2022602927 sameAs 2022602927 @default.
- W2022602927 citedByCount "12" @default.
- W2022602927 countsByYear W20226029272012 @default.
- W2022602927 countsByYear W20226029272013 @default.
- W2022602927 countsByYear W20226029272014 @default.
- W2022602927 countsByYear W20226029272015 @default.
- W2022602927 countsByYear W20226029272018 @default.
- W2022602927 countsByYear W20226029272020 @default.
- W2022602927 crossrefType "proceedings-article" @default.
- W2022602927 hasAuthorship W2022602927A5004976322 @default.
- W2022602927 hasAuthorship W2022602927A5026543188 @default.
- W2022602927 hasBestOaLocation W20226029272 @default.
- W2022602927 hasConcept C11413529 @default.
- W2022602927 hasConcept C136764020 @default.
- W2022602927 hasConcept C142724271 @default.
- W2022602927 hasConcept C148730421 @default.
- W2022602927 hasConcept C169590947 @default.
- W2022602927 hasConcept C178489894 @default.
- W2022602927 hasConcept C199360897 @default.
- W2022602927 hasConcept C204787440 @default.
- W2022602927 hasConcept C26713055 @default.
- W2022602927 hasConcept C2779182362 @default.
- W2022602927 hasConcept C2780385302 @default.
- W2022602927 hasConcept C31258907 @default.
- W2022602927 hasConcept C32455479 @default.
- W2022602927 hasConcept C33884865 @default.
- W2022602927 hasConcept C41008148 @default.
- W2022602927 hasConcept C71924100 @default.
- W2022602927 hasConceptScore W2022602927C11413529 @default.
- W2022602927 hasConceptScore W2022602927C136764020 @default.
- W2022602927 hasConceptScore W2022602927C142724271 @default.
- W2022602927 hasConceptScore W2022602927C148730421 @default.
- W2022602927 hasConceptScore W2022602927C169590947 @default.
- W2022602927 hasConceptScore W2022602927C178489894 @default.
- W2022602927 hasConceptScore W2022602927C199360897 @default.
- W2022602927 hasConceptScore W2022602927C204787440 @default.
- W2022602927 hasConceptScore W2022602927C26713055 @default.
- W2022602927 hasConceptScore W2022602927C2779182362 @default.
- W2022602927 hasConceptScore W2022602927C2780385302 @default.
- W2022602927 hasConceptScore W2022602927C31258907 @default.
- W2022602927 hasConceptScore W2022602927C32455479 @default.
- W2022602927 hasConceptScore W2022602927C33884865 @default.
- W2022602927 hasConceptScore W2022602927C41008148 @default.
- W2022602927 hasConceptScore W2022602927C71924100 @default.
- W2022602927 hasLocation W20226029271 @default.
- W2022602927 hasLocation W20226029272 @default.
- W2022602927 hasLocation W20226029273 @default.
- W2022602927 hasLocation W20226029274 @default.
- W2022602927 hasLocation W20226029275 @default.
- W2022602927 hasOpenAccess W2022602927 @default.
- W2022602927 hasPrimaryLocation W20226029271 @default.
- W2022602927 hasRelatedWork W1497385637 @default.
- W2022602927 hasRelatedWork W2004605222 @default.
- W2022602927 hasRelatedWork W2044422526 @default.
- W2022602927 hasRelatedWork W2086733238 @default.
- W2022602927 hasRelatedWork W2104078272 @default.
- W2022602927 hasRelatedWork W2112690207 @default.
- W2022602927 hasRelatedWork W2192862863 @default.
- W2022602927 hasRelatedWork W2369288331 @default.
- W2022602927 hasRelatedWork W2519339279 @default.
- W2022602927 hasRelatedWork W2467097043 @default.
- W2022602927 isParatext "false" @default.
- W2022602927 isRetracted "false" @default.
- W2022602927 magId "2022602927" @default.
- W2022602927 workType "article" @default.