Matches in SemOpenAlex for { <https://semopenalex.org/work/W166523188> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W166523188 abstract "We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. By modeling each protocol step as a rigid Horn clause, and the intruder abilities as an equational theory over a convergent rewrite system, the problem of active intrusion is formulated as a Cap Unification problem. Cap Unification is an extension of Equational Unification: we look for a cap to be placed on a given set of terms, so that it unifies with a given term modulo the equational theory." @default.
- W166523188 created "2016-06-24" @default.
- W166523188 creator A5010375037 @default.
- W166523188 creator A5031286589 @default.
- W166523188 creator A5051586876 @default.
- W166523188 creator A5054440299 @default.
- W166523188 creator A5083889587 @default.
- W166523188 date "2008-06-01" @default.
- W166523188 modified "2023-09-27" @default.
- W166523188 title "Active Intruders with Caps" @default.
- W166523188 hasPublicationYear "2008" @default.
- W166523188 type Work @default.
- W166523188 sameAs 166523188 @default.
- W166523188 citedByCount "0" @default.
- W166523188 crossrefType "journal-article" @default.
- W166523188 hasAuthorship W166523188A5010375037 @default.
- W166523188 hasAuthorship W166523188A5031286589 @default.
- W166523188 hasAuthorship W166523188A5051586876 @default.
- W166523188 hasAuthorship W166523188A5054440299 @default.
- W166523188 hasAuthorship W166523188A5083889587 @default.
- W166523188 hasConcept C118615104 @default.
- W166523188 hasConcept C121332964 @default.
- W166523188 hasConcept C134306372 @default.
- W166523188 hasConcept C177264268 @default.
- W166523188 hasConcept C178489894 @default.
- W166523188 hasConcept C199360897 @default.
- W166523188 hasConcept C2778029271 @default.
- W166523188 hasConcept C33884865 @default.
- W166523188 hasConcept C33923547 @default.
- W166523188 hasConcept C34388435 @default.
- W166523188 hasConcept C38652104 @default.
- W166523188 hasConcept C41008148 @default.
- W166523188 hasConcept C54732982 @default.
- W166523188 hasConcept C61797465 @default.
- W166523188 hasConcept C62520636 @default.
- W166523188 hasConcept C80444323 @default.
- W166523188 hasConcept C96146094 @default.
- W166523188 hasConceptScore W166523188C118615104 @default.
- W166523188 hasConceptScore W166523188C121332964 @default.
- W166523188 hasConceptScore W166523188C134306372 @default.
- W166523188 hasConceptScore W166523188C177264268 @default.
- W166523188 hasConceptScore W166523188C178489894 @default.
- W166523188 hasConceptScore W166523188C199360897 @default.
- W166523188 hasConceptScore W166523188C2778029271 @default.
- W166523188 hasConceptScore W166523188C33884865 @default.
- W166523188 hasConceptScore W166523188C33923547 @default.
- W166523188 hasConceptScore W166523188C34388435 @default.
- W166523188 hasConceptScore W166523188C38652104 @default.
- W166523188 hasConceptScore W166523188C41008148 @default.
- W166523188 hasConceptScore W166523188C54732982 @default.
- W166523188 hasConceptScore W166523188C61797465 @default.
- W166523188 hasConceptScore W166523188C62520636 @default.
- W166523188 hasConceptScore W166523188C80444323 @default.
- W166523188 hasConceptScore W166523188C96146094 @default.
- W166523188 hasLocation W1665231881 @default.
- W166523188 hasOpenAccess W166523188 @default.
- W166523188 hasPrimaryLocation W1665231881 @default.
- W166523188 hasRelatedWork W1223318389 @default.
- W166523188 hasRelatedWork W1494214213 @default.
- W166523188 hasRelatedWork W1584887934 @default.
- W166523188 hasRelatedWork W1770130844 @default.
- W166523188 hasRelatedWork W2011185234 @default.
- W166523188 hasRelatedWork W2038813971 @default.
- W166523188 hasRelatedWork W2059885874 @default.
- W166523188 hasRelatedWork W2071787143 @default.
- W166523188 hasRelatedWork W2096506501 @default.
- W166523188 hasRelatedWork W2160623077 @default.
- W166523188 hasRelatedWork W2162343864 @default.
- W166523188 hasRelatedWork W2408443705 @default.
- W166523188 hasRelatedWork W2539839969 @default.
- W166523188 hasRelatedWork W2622023179 @default.
- W166523188 hasRelatedWork W2890451556 @default.
- W166523188 hasRelatedWork W2921659641 @default.
- W166523188 hasRelatedWork W3029393106 @default.
- W166523188 hasRelatedWork W3088418580 @default.
- W166523188 hasRelatedWork W3126289824 @default.
- W166523188 hasRelatedWork W747637614 @default.
- W166523188 isParatext "false" @default.
- W166523188 isRetracted "false" @default.
- W166523188 magId "166523188" @default.
- W166523188 workType "article" @default.