Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172081477> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2172081477 abstract "This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces and cryptographic keys to statically regulate the way that nonces are created and checked in the authentication exchange. The latter, proposed by the authors, relies on a combination of static and dynamic typing to achieve similar goals. Specifically, the type system employs dependent ciphertext types to statically define certain tags that determine the typed structure of the messages circulated in the authentication exchange. The type tags are then checked dynamically to verify that each message has the format expected at the corresponding step of the authentication exchange. This paper compares the two approaches, drawing on a translation of tagged protocols, validated by our system, into protocols that type check with Gordon and Jeffrey's system. This translation gives new insight into the tradeoffs between the two techniques, and on their relative expressiveness and precision. In addition, it allows us to port verification techniques from one setting to the other." @default.
- W2172081477 created "2016-06-24" @default.
- W2172081477 creator A5056869421 @default.
- W2172081477 creator A5059351004 @default.
- W2172081477 creator A5077037306 @default.
- W2172081477 date "2005-07-06" @default.
- W2172081477 modified "2023-09-23" @default.
- W2172081477 title "Analysis of Typed Analyses of Authentication Protocols" @default.
- W2172081477 cites W1991354622 @default.
- W2172081477 cites W2057657013 @default.
- W2172081477 cites W2104130981 @default.
- W2172081477 cites W2105237010 @default.
- W2172081477 cites W2111477637 @default.
- W2172081477 cites W2114637472 @default.
- W2172081477 cites W2122613424 @default.
- W2172081477 cites W2134732832 @default.
- W2172081477 cites W2135758617 @default.
- W2172081477 cites W2156773905 @default.
- W2172081477 cites W2176696677 @default.
- W2172081477 cites W4289127653 @default.
- W2172081477 doi "https://doi.org/10.1109/csfw.2005.8" @default.
- W2172081477 hasPublicationYear "2005" @default.
- W2172081477 type Work @default.
- W2172081477 sameAs 2172081477 @default.
- W2172081477 citedByCount "17" @default.
- W2172081477 countsByYear W21720814772013 @default.
- W2172081477 countsByYear W21720814772014 @default.
- W2172081477 countsByYear W21720814772015 @default.
- W2172081477 countsByYear W21720814772017 @default.
- W2172081477 countsByYear W21720814772018 @default.
- W2172081477 crossrefType "proceedings-article" @default.
- W2172081477 hasAuthorship W2172081477A5056869421 @default.
- W2172081477 hasAuthorship W2172081477A5059351004 @default.
- W2172081477 hasAuthorship W2172081477A5077037306 @default.
- W2172081477 hasConcept C148417208 @default.
- W2172081477 hasConcept C21564112 @default.
- W2172081477 hasConcept C38652104 @default.
- W2172081477 hasConcept C41008148 @default.
- W2172081477 hasConceptScore W2172081477C148417208 @default.
- W2172081477 hasConceptScore W2172081477C21564112 @default.
- W2172081477 hasConceptScore W2172081477C38652104 @default.
- W2172081477 hasConceptScore W2172081477C41008148 @default.
- W2172081477 hasLocation W21720814771 @default.
- W2172081477 hasOpenAccess W2172081477 @default.
- W2172081477 hasPrimaryLocation W21720814771 @default.
- W2172081477 hasRelatedWork W1493058717 @default.
- W2172081477 hasRelatedWork W1577036450 @default.
- W2172081477 hasRelatedWork W1600724867 @default.
- W2172081477 hasRelatedWork W2059809967 @default.
- W2172081477 hasRelatedWork W2353380350 @default.
- W2172081477 hasRelatedWork W2369089912 @default.
- W2172081477 hasRelatedWork W2547137208 @default.
- W2172081477 hasRelatedWork W2602592226 @default.
- W2172081477 hasRelatedWork W2793020157 @default.
- W2172081477 hasRelatedWork W3161945954 @default.
- W2172081477 isParatext "false" @default.
- W2172081477 isRetracted "false" @default.
- W2172081477 magId "2172081477" @default.
- W2172081477 workType "article" @default.