Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130123502> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2130123502 abstract "We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties such as xor, we extend the conventional Dolev-Yao model by permitting the intruder to exploit these properties. We show that the ground reachability problem in NP for the extended intruder theories in the cases of xor and Abelian groups. This result follows from a normal proof theorem. Then, we show how to lift this result in the xor case: we consider a symbolic constraint system expressing the reachability (e.g., secrecy) problem for a finite number of sessions. We prove that such a constraint system is decidable, relying in particular on an extension of combination algorithms for unification procedures. As a corollary, this enables automatic symbolic verification of cryptographic protocols employing xor for a fixed number of sessions." @default.
- W2130123502 created "2016-06-24" @default.
- W2130123502 creator A5027210933 @default.
- W2130123502 creator A5038206174 @default.
- W2130123502 date "2003-12-22" @default.
- W2130123502 modified "2023-09-23" @default.
- W2130123502 title "Intruder deductions, constraint solving and insecurity decision in presence of exclusive or" @default.
- W2130123502 cites W1574825808 @default.
- W2130123502 cites W1973745704 @default.
- W2130123502 cites W2029693536 @default.
- W2130123502 cites W2078671172 @default.
- W2130123502 cites W2108533001 @default.
- W2130123502 cites W2126338744 @default.
- W2130123502 cites W2131123432 @default.
- W2130123502 cites W2134587548 @default.
- W2130123502 cites W2149257851 @default.
- W2130123502 cites W2153662813 @default.
- W2130123502 cites W2153921791 @default.
- W2130123502 doi "https://doi.org/10.1109/lics.2003.1210067" @default.
- W2130123502 hasPublicationYear "2003" @default.
- W2130123502 type Work @default.
- W2130123502 sameAs 2130123502 @default.
- W2130123502 citedByCount "95" @default.
- W2130123502 countsByYear W21301235022012 @default.
- W2130123502 countsByYear W21301235022014 @default.
- W2130123502 countsByYear W21301235022015 @default.
- W2130123502 countsByYear W21301235022016 @default.
- W2130123502 countsByYear W21301235022017 @default.
- W2130123502 countsByYear W21301235022019 @default.
- W2130123502 countsByYear W21301235022020 @default.
- W2130123502 crossrefType "proceedings-article" @default.
- W2130123502 hasAuthorship W2130123502A5027210933 @default.
- W2130123502 hasAuthorship W2130123502A5038206174 @default.
- W2130123502 hasConcept C11413529 @default.
- W2130123502 hasConcept C114614502 @default.
- W2130123502 hasConcept C118615104 @default.
- W2130123502 hasConcept C136170076 @default.
- W2130123502 hasConcept C136643341 @default.
- W2130123502 hasConcept C153269930 @default.
- W2130123502 hasConcept C15927051 @default.
- W2130123502 hasConcept C178489894 @default.
- W2130123502 hasConcept C183778304 @default.
- W2130123502 hasConcept C2524010 @default.
- W2130123502 hasConcept C2776036281 @default.
- W2130123502 hasConcept C2780012671 @default.
- W2130123502 hasConcept C33884865 @default.
- W2130123502 hasConcept C33923547 @default.
- W2130123502 hasConcept C41008148 @default.
- W2130123502 hasConcept C80444323 @default.
- W2130123502 hasConceptScore W2130123502C11413529 @default.
- W2130123502 hasConceptScore W2130123502C114614502 @default.
- W2130123502 hasConceptScore W2130123502C118615104 @default.
- W2130123502 hasConceptScore W2130123502C136170076 @default.
- W2130123502 hasConceptScore W2130123502C136643341 @default.
- W2130123502 hasConceptScore W2130123502C153269930 @default.
- W2130123502 hasConceptScore W2130123502C15927051 @default.
- W2130123502 hasConceptScore W2130123502C178489894 @default.
- W2130123502 hasConceptScore W2130123502C183778304 @default.
- W2130123502 hasConceptScore W2130123502C2524010 @default.
- W2130123502 hasConceptScore W2130123502C2776036281 @default.
- W2130123502 hasConceptScore W2130123502C2780012671 @default.
- W2130123502 hasConceptScore W2130123502C33884865 @default.
- W2130123502 hasConceptScore W2130123502C33923547 @default.
- W2130123502 hasConceptScore W2130123502C41008148 @default.
- W2130123502 hasConceptScore W2130123502C80444323 @default.
- W2130123502 hasLocation W21301235021 @default.
- W2130123502 hasOpenAccess W2130123502 @default.
- W2130123502 hasPrimaryLocation W21301235021 @default.
- W2130123502 hasRelatedWork W1488961395 @default.
- W2130123502 hasRelatedWork W1533411097 @default.
- W2130123502 hasRelatedWork W1544806231 @default.
- W2130123502 hasRelatedWork W1585860117 @default.
- W2130123502 hasRelatedWork W2076864770 @default.
- W2130123502 hasRelatedWork W2613405521 @default.
- W2130123502 hasRelatedWork W2900635632 @default.
- W2130123502 hasRelatedWork W2972017559 @default.
- W2130123502 hasRelatedWork W49720026 @default.
- W2130123502 hasRelatedWork W2585025927 @default.
- W2130123502 isParatext "false" @default.
- W2130123502 isRetracted "false" @default.
- W2130123502 magId "2130123502" @default.
- W2130123502 workType "article" @default.