Matches in SemOpenAlex for { <https://semopenalex.org/work/W4237928050> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4237928050 endingPage "140" @default.
- W4237928050 startingPage "119" @default.
- W4237928050 abstract "Woo and Lam propose correspondence assertions for specifying authenticity properties of security protocols. The only prior work on checking correspondence assertions depends on model-checking and is limited to finite-state systems. We propose a dependent type and effect system for checking correspondence assertions. Since it is based on type-checking, our method is not limited to finite-state systems. This paper presents our system in the simple and general setting of the π-calculus. We show how to type-check correctness properties of example communication protocols based on secure channels. In a related paper, we extend our system to the more complex and specific setting of checking cryptographic protocols based on encrypted messages sent over insecure channels." @default.
- W4237928050 created "2022-05-12" @default.
- W4237928050 creator A5012868882 @default.
- W4237928050 creator A5078684560 @default.
- W4237928050 date "2001-11-01" @default.
- W4237928050 modified "2023-09-26" @default.
- W4237928050 title "Typing Correspondence Assertions for Communication Protocols" @default.
- W4237928050 cites W1498393124 @default.
- W4237928050 cites W1552843130 @default.
- W4237928050 cites W1557268818 @default.
- W4237928050 cites W1562901937 @default.
- W4237928050 cites W1784055113 @default.
- W4237928050 cites W2032577199 @default.
- W4237928050 cites W2038315427 @default.
- W4237928050 cites W2038677544 @default.
- W4237928050 cites W2048921878 @default.
- W4237928050 cites W2055341574 @default.
- W4237928050 cites W2055378322 @default.
- W4237928050 cites W2087875803 @default.
- W4237928050 cites W2104130981 @default.
- W4237928050 cites W2111477637 @default.
- W4237928050 cites W2141535462 @default.
- W4237928050 cites W2148025199 @default.
- W4237928050 cites W2148901852 @default.
- W4237928050 cites W2154581630 @default.
- W4237928050 cites W4237928050 @default.
- W4237928050 doi "https://doi.org/10.1016/s1571-0661(04)80959-9" @default.
- W4237928050 hasPublicationYear "2001" @default.
- W4237928050 type Work @default.
- W4237928050 citedByCount "11" @default.
- W4237928050 crossrefType "journal-article" @default.
- W4237928050 hasAuthorship W4237928050A5012868882 @default.
- W4237928050 hasAuthorship W4237928050A5078684560 @default.
- W4237928050 hasBestOaLocation W42379280501 @default.
- W4237928050 hasConcept C110251889 @default.
- W4237928050 hasConcept C111472728 @default.
- W4237928050 hasConcept C11413529 @default.
- W4237928050 hasConcept C12269588 @default.
- W4237928050 hasConcept C138885662 @default.
- W4237928050 hasConcept C148730421 @default.
- W4237928050 hasConcept C178489894 @default.
- W4237928050 hasConcept C18903297 @default.
- W4237928050 hasConcept C199360897 @default.
- W4237928050 hasConcept C2777299769 @default.
- W4237928050 hasConcept C2780586882 @default.
- W4237928050 hasConcept C30888246 @default.
- W4237928050 hasConcept C31258907 @default.
- W4237928050 hasConcept C33884865 @default.
- W4237928050 hasConcept C38652104 @default.
- W4237928050 hasConcept C41008148 @default.
- W4237928050 hasConcept C48103436 @default.
- W4237928050 hasConcept C55439883 @default.
- W4237928050 hasConcept C80444323 @default.
- W4237928050 hasConcept C86803240 @default.
- W4237928050 hasConceptScore W4237928050C110251889 @default.
- W4237928050 hasConceptScore W4237928050C111472728 @default.
- W4237928050 hasConceptScore W4237928050C11413529 @default.
- W4237928050 hasConceptScore W4237928050C12269588 @default.
- W4237928050 hasConceptScore W4237928050C138885662 @default.
- W4237928050 hasConceptScore W4237928050C148730421 @default.
- W4237928050 hasConceptScore W4237928050C178489894 @default.
- W4237928050 hasConceptScore W4237928050C18903297 @default.
- W4237928050 hasConceptScore W4237928050C199360897 @default.
- W4237928050 hasConceptScore W4237928050C2777299769 @default.
- W4237928050 hasConceptScore W4237928050C2780586882 @default.
- W4237928050 hasConceptScore W4237928050C30888246 @default.
- W4237928050 hasConceptScore W4237928050C31258907 @default.
- W4237928050 hasConceptScore W4237928050C33884865 @default.
- W4237928050 hasConceptScore W4237928050C38652104 @default.
- W4237928050 hasConceptScore W4237928050C41008148 @default.
- W4237928050 hasConceptScore W4237928050C48103436 @default.
- W4237928050 hasConceptScore W4237928050C55439883 @default.
- W4237928050 hasConceptScore W4237928050C80444323 @default.
- W4237928050 hasConceptScore W4237928050C86803240 @default.
- W4237928050 hasLocation W42379280501 @default.
- W4237928050 hasOpenAccess W4237928050 @default.
- W4237928050 hasPrimaryLocation W42379280501 @default.
- W4237928050 hasRelatedWork W1024627881 @default.
- W4237928050 hasRelatedWork W1577469942 @default.
- W4237928050 hasRelatedWork W1764099364 @default.
- W4237928050 hasRelatedWork W1985198438 @default.
- W4237928050 hasRelatedWork W1995469872 @default.
- W4237928050 hasRelatedWork W2351521370 @default.
- W4237928050 hasRelatedWork W2623736020 @default.
- W4237928050 hasRelatedWork W3203050594 @default.
- W4237928050 hasRelatedWork W4237928050 @default.
- W4237928050 hasRelatedWork W2972201226 @default.
- W4237928050 hasVolume "45" @default.
- W4237928050 isParatext "false" @default.
- W4237928050 isRetracted "false" @default.
- W4237928050 workType "article" @default.