Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103343871> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2103343871 abstract "We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded number of sessions of the protocol. However, up to now, it gave no definite information when the proof failed. In this paper, we present an algorithm for reconstructing an attack against the protocol when the desired security property does not hold. We have proved soundness, termination, as well as a partial completeness result for our algorithm. We have also implemented it in the automatic protocol verifier ProVerif. As an extreme example, we could reconstruct an attack involving 200 parallel sessions against f/sup 200/g/sup 200/ protocol (Millen, 1999)." @default.
- W2103343871 created "2016-06-24" @default.
- W2103343871 creator A5004976322 @default.
- W2103343871 creator A5089577044 @default.
- W2103343871 date "2005-01-01" @default.
- W2103343871 modified "2023-09-26" @default.
- W2103343871 title "Reconstruction of attacks against cryptographic protocols" @default.
- W2103343871 cites W1567968445 @default.
- W2103343871 cites W1589312904 @default.
- W2103343871 cites W1921661296 @default.
- W2103343871 cites W1973054120 @default.
- W2103343871 cites W2001788001 @default.
- W2103343871 cites W2002770083 @default.
- W2103343871 cites W2016927062 @default.
- W2103343871 cites W2073385346 @default.
- W2103343871 cites W2099361263 @default.
- W2103343871 cites W2100824083 @default.
- W2103343871 cites W2104130981 @default.
- W2103343871 cites W2105237010 @default.
- W2103343871 cites W2112047017 @default.
- W2103343871 cites W2114189125 @default.
- W2103343871 cites W2114497629 @default.
- W2103343871 cites W2120600989 @default.
- W2103343871 cites W2121262961 @default.
- W2103343871 cites W2126338744 @default.
- W2103343871 cites W2130899669 @default.
- W2103343871 cites W2132821794 @default.
- W2103343871 cites W2155032609 @default.
- W2103343871 cites W2163795263 @default.
- W2103343871 cites W3162919972 @default.
- W2103343871 cites W4240945145 @default.
- W2103343871 doi "https://doi.org/10.1109/csfw.2005.25" @default.
- W2103343871 hasPublicationYear "2005" @default.
- W2103343871 type Work @default.
- W2103343871 sameAs 2103343871 @default.
- W2103343871 citedByCount "42" @default.
- W2103343871 countsByYear W21033438712012 @default.
- W2103343871 countsByYear W21033438712014 @default.
- W2103343871 countsByYear W21033438712015 @default.
- W2103343871 countsByYear W21033438712016 @default.
- W2103343871 countsByYear W21033438712017 @default.
- W2103343871 countsByYear W21033438712018 @default.
- W2103343871 countsByYear W21033438712019 @default.
- W2103343871 countsByYear W21033438712022 @default.
- W2103343871 crossrefType "proceedings-article" @default.
- W2103343871 hasAuthorship W2103343871A5004976322 @default.
- W2103343871 hasAuthorship W2103343871A5089577044 @default.
- W2103343871 hasConcept C15927051 @default.
- W2103343871 hasConcept C178489894 @default.
- W2103343871 hasConcept C33884865 @default.
- W2103343871 hasConcept C38652104 @default.
- W2103343871 hasConcept C41008148 @default.
- W2103343871 hasConceptScore W2103343871C15927051 @default.
- W2103343871 hasConceptScore W2103343871C178489894 @default.
- W2103343871 hasConceptScore W2103343871C33884865 @default.
- W2103343871 hasConceptScore W2103343871C38652104 @default.
- W2103343871 hasConceptScore W2103343871C41008148 @default.
- W2103343871 hasLocation W21033438711 @default.
- W2103343871 hasOpenAccess W2103343871 @default.
- W2103343871 hasPrimaryLocation W21033438711 @default.
- W2103343871 hasRelatedWork W1533109710 @default.
- W2103343871 hasRelatedWork W174224734 @default.
- W2103343871 hasRelatedWork W2095884747 @default.
- W2103343871 hasRelatedWork W2135076159 @default.
- W2103343871 hasRelatedWork W2160944501 @default.
- W2103343871 hasRelatedWork W2364122164 @default.
- W2103343871 hasRelatedWork W2402794349 @default.
- W2103343871 hasRelatedWork W2509011482 @default.
- W2103343871 hasRelatedWork W2559815877 @default.
- W2103343871 hasRelatedWork W2740348784 @default.
- W2103343871 isParatext "false" @default.
- W2103343871 isRetracted "false" @default.
- W2103343871 magId "2103343871" @default.
- W2103343871 workType "article" @default.