FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071174211> ?p ?o ?g. }

• W2071174211 endingPage "377" @default.
• W2071174211 startingPage "352" @default.
• W2071174211 abstract "Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weaknesses, by a more accurate modelling of operators employed by protocols. Several works have shown how to handle a single algebraic operator (associated with a fixed intruder theory) or how to combine several operators satisfying disjoint theories. However several interesting equational theories, such as exponentiation with an abelian group law for exponents remain out of the scope of these techniques. This has motivated us to introduce a new notion of hierarchical combination for non-disjoint intruder theories and to show decidability results for the deduction problem in these theories. We have also shown that under natural hypotheses hierarchical intruder constraints can be decided. This result applies to an exponentiation theory that appears to be more general than the one considered before." @default.
• W2071174211 created "2016-06-24" @default.
• W2071174211 creator A5010375037 @default.
• W2071174211 creator A5076479770 @default.
• W2071174211 date "2008-02-01" @default.
• W2071174211 modified "2023-09-30" @default.
• W2071174211 title "Hierarchical combination of intruder theories" @default.
• W2071174211 cites W1479740358 @default.
• W2071174211 cites W1509743338 @default.
• W2071174211 cites W1544182777 @default.
• W2071174211 cites W1546053434 @default.
• W2071174211 cites W1570621944 @default.
• W2071174211 cites W1578151293 @default.
• W2071174211 cites W1579090196 @default.
• W2071174211 cites W1579555042 @default.
• W2071174211 cites W1595374223 @default.
• W2071174211 cites W1607166944 @default.
• W2071174211 cites W1660562555 @default.
• W2071174211 cites W1786379804 @default.
• W2071174211 cites W1924576632 @default.
• W2071174211 cites W1944323241 @default.
• W2071174211 cites W1973745704 @default.
• W2071174211 cites W2003915781 @default.
• W2071174211 cites W2019884366 @default.
• W2071174211 cites W2029693536 @default.
• W2071174211 cites W2060349224 @default.
• W2071174211 cites W2082354652 @default.
• W2071174211 cites W2088096459 @default.
• W2071174211 cites W2103957932 @default.
• W2071174211 cites W2107895089 @default.
• W2071174211 cites W2108533001 @default.
• W2071174211 cites W2114566185 @default.
• W2071174211 cites W2126338744 @default.
• W2071174211 cites W2130123502 @default.
• W2071174211 cites W2132750992 @default.
• W2071174211 cites W2149257851 @default.
• W2071174211 cites W2153921791 @default.
• W2071174211 cites W2168332701 @default.
• W2071174211 cites W2912818154 @default.
• W2071174211 cites W2952237245 @default.
• W2071174211 cites W2585478371 @default.
• W2071174211 doi "https://doi.org/10.1016/j.ic.2007.07.004" @default.
• W2071174211 hasPublicationYear "2008" @default.
• W2071174211 type Work @default.
• W2071174211 sameAs 2071174211 @default.
• W2071174211 citedByCount "10" @default.
• W2071174211 countsByYear W20711742112012 @default.
• W2071174211 countsByYear W20711742112013 @default.
• W2071174211 countsByYear W20711742112017 @default.
• W2071174211 countsByYear W20711742112020 @default.
• W2071174211 crossrefType "journal-article" @default.
• W2071174211 hasAuthorship W2071174211A5010375037 @default.
• W2071174211 hasAuthorship W2071174211A5076479770 @default.
• W2071174211 hasBestOaLocation W20711742112 @default.
• W2071174211 hasConcept C104317684 @default.
• W2071174211 hasConcept C11413529 @default.
• W2071174211 hasConcept C118615104 @default.
• W2071174211 hasConcept C134306372 @default.
• W2071174211 hasConcept C136119220 @default.
• W2071174211 hasConcept C153269930 @default.
• W2071174211 hasConcept C158448853 @default.
• W2071174211 hasConcept C17020691 @default.
• W2071174211 hasConcept C178489894 @default.
• W2071174211 hasConcept C185592680 @default.
• W2071174211 hasConcept C202444582 @default.
• W2071174211 hasConcept C33884865 @default.
• W2071174211 hasConcept C33923547 @default.
• W2071174211 hasConcept C41008148 @default.
• W2071174211 hasConcept C45340560 @default.
• W2071174211 hasConcept C55493867 @default.
• W2071174211 hasConcept C80444323 @default.
• W2071174211 hasConcept C81539297 @default.
• W2071174211 hasConcept C86339819 @default.
• W2071174211 hasConceptScore W2071174211C104317684 @default.
• W2071174211 hasConceptScore W2071174211C11413529 @default.
• W2071174211 hasConceptScore W2071174211C118615104 @default.
• W2071174211 hasConceptScore W2071174211C134306372 @default.
• W2071174211 hasConceptScore W2071174211C136119220 @default.
• W2071174211 hasConceptScore W2071174211C153269930 @default.
• W2071174211 hasConceptScore W2071174211C158448853 @default.
• W2071174211 hasConceptScore W2071174211C17020691 @default.
• W2071174211 hasConceptScore W2071174211C178489894 @default.
• W2071174211 hasConceptScore W2071174211C185592680 @default.
• W2071174211 hasConceptScore W2071174211C202444582 @default.
• W2071174211 hasConceptScore W2071174211C33884865 @default.
• W2071174211 hasConceptScore W2071174211C33923547 @default.
• W2071174211 hasConceptScore W2071174211C41008148 @default.
• W2071174211 hasConceptScore W2071174211C45340560 @default.
• W2071174211 hasConceptScore W2071174211C55493867 @default.
• W2071174211 hasConceptScore W2071174211C80444323 @default.
• W2071174211 hasConceptScore W2071174211C81539297 @default.
• W2071174211 hasConceptScore W2071174211C86339819 @default.
• W2071174211 hasIssue "2-4" @default.
• W2071174211 hasLocation W20711742111 @default.
• W2071174211 hasLocation W20711742112 @default.
• W2071174211 hasLocation W20711742113 @default.
• W2071174211 hasLocation W20711742114 @default.
• W2071174211 hasLocation W20711742115 @default.

• next