Matches in SemOpenAlex for { <https://semopenalex.org/work/W49481559> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W49481559 abstract "In [Mil03,LM05], Millen-Lynch-Meadows proved that, under some restrictions on messages, including identities for canceling an encryption and a decryption within the same term during analysis will be redundant. i.e., they will not lead to any new attacks that were not found without them. In this paper, we prove that slightly modified restrictions are sufficient to safely remove those identities, even when protocols contain operators such as the notorious Exclusive-OR operator that break the free algebra assumption with their own identities, in addition to the identities considered by Millen-Lynch-Meadows." @default.
- W49481559 created "2016-06-24" @default.
- W49481559 creator A5001213437 @default.
- W49481559 date "2012-01-01" @default.
- W49481559 modified "2023-09-26" @default.
- W49481559 title "Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR" @default.
- W49481559 cites W1488313539 @default.
- W49481559 cites W1518776743 @default.
- W49481559 cites W1554496827 @default.
- W49481559 cites W1570621944 @default.
- W49481559 cites W1597765364 @default.
- W49481559 cites W1635081860 @default.
- W49481559 cites W1648795825 @default.
- W49481559 cites W1727096726 @default.
- W49481559 cites W1751516141 @default.
- W49481559 cites W1968715010 @default.
- W49481559 cites W2078671172 @default.
- W49481559 cites W2092548536 @default.
- W49481559 cites W2118778876 @default.
- W49481559 cites W2175429362 @default.
- W49481559 cites W2176412652 @default.
- W49481559 doi "https://doi.org/10.1007/978-3-642-27375-9_12" @default.
- W49481559 hasPublicationYear "2012" @default.
- W49481559 type Work @default.
- W49481559 sameAs 49481559 @default.
- W49481559 citedByCount "1" @default.
- W49481559 countsByYear W494815592012 @default.
- W49481559 crossrefType "book-chapter" @default.
- W49481559 hasAuthorship W49481559A5001213437 @default.
- W49481559 hasBestOaLocation W494815591 @default.
- W49481559 hasConcept C104317684 @default.
- W49481559 hasConcept C11413529 @default.
- W49481559 hasConcept C136119220 @default.
- W49481559 hasConcept C142724271 @default.
- W49481559 hasConcept C148730421 @default.
- W49481559 hasConcept C158448853 @default.
- W49481559 hasConcept C17020691 @default.
- W49481559 hasConcept C185592680 @default.
- W49481559 hasConcept C199360897 @default.
- W49481559 hasConcept C202444582 @default.
- W49481559 hasConcept C204787440 @default.
- W49481559 hasConcept C2780385302 @default.
- W49481559 hasConcept C33923547 @default.
- W49481559 hasConcept C38652104 @default.
- W49481559 hasConcept C39920170 @default.
- W49481559 hasConcept C41008148 @default.
- W49481559 hasConcept C55493867 @default.
- W49481559 hasConcept C71924100 @default.
- W49481559 hasConcept C80444323 @default.
- W49481559 hasConcept C86339819 @default.
- W49481559 hasConceptScore W49481559C104317684 @default.
- W49481559 hasConceptScore W49481559C11413529 @default.
- W49481559 hasConceptScore W49481559C136119220 @default.
- W49481559 hasConceptScore W49481559C142724271 @default.
- W49481559 hasConceptScore W49481559C148730421 @default.
- W49481559 hasConceptScore W49481559C158448853 @default.
- W49481559 hasConceptScore W49481559C17020691 @default.
- W49481559 hasConceptScore W49481559C185592680 @default.
- W49481559 hasConceptScore W49481559C199360897 @default.
- W49481559 hasConceptScore W49481559C202444582 @default.
- W49481559 hasConceptScore W49481559C204787440 @default.
- W49481559 hasConceptScore W49481559C2780385302 @default.
- W49481559 hasConceptScore W49481559C33923547 @default.
- W49481559 hasConceptScore W49481559C38652104 @default.
- W49481559 hasConceptScore W49481559C39920170 @default.
- W49481559 hasConceptScore W49481559C41008148 @default.
- W49481559 hasConceptScore W49481559C55493867 @default.
- W49481559 hasConceptScore W49481559C71924100 @default.
- W49481559 hasConceptScore W49481559C80444323 @default.
- W49481559 hasConceptScore W49481559C86339819 @default.
- W49481559 hasLocation W494815591 @default.
- W49481559 hasOpenAccess W49481559 @default.
- W49481559 hasPrimaryLocation W494815591 @default.
- W49481559 hasRelatedWork W1911464179 @default.
- W49481559 hasRelatedWork W2042923282 @default.
- W49481559 hasRelatedWork W2102632421 @default.
- W49481559 hasRelatedWork W2187996483 @default.
- W49481559 hasRelatedWork W2343630731 @default.
- W49481559 hasRelatedWork W2407346145 @default.
- W49481559 hasRelatedWork W2516118016 @default.
- W49481559 hasRelatedWork W2742667227 @default.
- W49481559 hasRelatedWork W2762779838 @default.
- W49481559 hasRelatedWork W2777043332 @default.
- W49481559 hasRelatedWork W2949422779 @default.
- W49481559 hasRelatedWork W2949655241 @default.
- W49481559 hasRelatedWork W2951858714 @default.
- W49481559 hasRelatedWork W2952077253 @default.
- W49481559 hasRelatedWork W3029610118 @default.
- W49481559 hasRelatedWork W3029827461 @default.
- W49481559 hasRelatedWork W3030552526 @default.
- W49481559 hasRelatedWork W3186078282 @default.
- W49481559 hasRelatedWork W3202413495 @default.
- W49481559 hasRelatedWork W58702796 @default.
- W49481559 isParatext "false" @default.
- W49481559 isRetracted "false" @default.
- W49481559 magId "49481559" @default.
- W49481559 workType "book-chapter" @default.