Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967744155> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1967744155 endingPage "214" @default.
- W1967744155 startingPage "143" @default.
- W1967744155 abstract "We introduce a class of tree automata that perform tests on a memory that is updated using function symbol application and projection. The language emptiness problem for this class of tree automata is shown to be in DEXPTIME. We also introduce a class of set constraints with equality tests and prove its decidability by completion techniques and a reduction to tree automata with one memory. Finally, we show how to apply these results to cryptographic protocols. We introduce a class of cryptographic protocols and show the decidability of secrecy for an arbitrary number of agents and an arbitrary number of (concurrent or successive) sessions, provided that only a bounded number of new data is generated. The hypothesis on the protocol (a restricted copying ability) is shown to be necessary: without this hypothesis, we prove that secrecy is undecidable, even for protocols without nonces." @default.
- W1967744155 created "2016-06-24" @default.
- W1967744155 creator A5009302133 @default.
- W1967744155 creator A5070402905 @default.
- W1967744155 date "2005-02-01" @default.
- W1967744155 modified "2023-09-25" @default.
- W1967744155 title "Tree automata with one memory set constraints and cryptographic protocols" @default.
- W1967744155 cites W1502457089 @default.
- W1967744155 cites W1513999490 @default.
- W1967744155 cites W1542190420 @default.
- W1967744155 cites W1562901937 @default.
- W1967744155 cites W160847359 @default.
- W1967744155 cites W1975688140 @default.
- W1967744155 cites W2001621593 @default.
- W1967744155 cites W2039875296 @default.
- W1967744155 cites W2040152339 @default.
- W1967744155 cites W2104494325 @default.
- W1967744155 cites W2124782811 @default.
- W1967744155 cites W2155032609 @default.
- W1967744155 cites W2171449317 @default.
- W1967744155 cites W3022794709 @default.
- W1967744155 cites W3162919972 @default.
- W1967744155 cites W4235235661 @default.
- W1967744155 doi "https://doi.org/10.1016/j.tcs.2004.09.036" @default.
- W1967744155 hasPublicationYear "2005" @default.
- W1967744155 type Work @default.
- W1967744155 sameAs 1967744155 @default.
- W1967744155 citedByCount "44" @default.
- W1967744155 countsByYear W19677441552012 @default.
- W1967744155 countsByYear W19677441552013 @default.
- W1967744155 countsByYear W19677441552014 @default.
- W1967744155 countsByYear W19677441552017 @default.
- W1967744155 countsByYear W19677441552020 @default.
- W1967744155 crossrefType "journal-article" @default.
- W1967744155 hasAuthorship W1967744155A5009302133 @default.
- W1967744155 hasAuthorship W1967744155A5070402905 @default.
- W1967744155 hasConcept C111919701 @default.
- W1967744155 hasConcept C112505250 @default.
- W1967744155 hasConcept C113174947 @default.
- W1967744155 hasConcept C11413529 @default.
- W1967744155 hasConcept C114614502 @default.
- W1967744155 hasConcept C118615104 @default.
- W1967744155 hasConcept C148730421 @default.
- W1967744155 hasConcept C153269930 @default.
- W1967744155 hasConcept C154945302 @default.
- W1967744155 hasConcept C178489894 @default.
- W1967744155 hasConcept C192034797 @default.
- W1967744155 hasConcept C2777212361 @default.
- W1967744155 hasConcept C2778583254 @default.
- W1967744155 hasConcept C33884865 @default.
- W1967744155 hasConcept C33923547 @default.
- W1967744155 hasConcept C41008148 @default.
- W1967744155 hasConcept C80444323 @default.
- W1967744155 hasConcept C9996903 @default.
- W1967744155 hasConceptScore W1967744155C111919701 @default.
- W1967744155 hasConceptScore W1967744155C112505250 @default.
- W1967744155 hasConceptScore W1967744155C113174947 @default.
- W1967744155 hasConceptScore W1967744155C11413529 @default.
- W1967744155 hasConceptScore W1967744155C114614502 @default.
- W1967744155 hasConceptScore W1967744155C118615104 @default.
- W1967744155 hasConceptScore W1967744155C148730421 @default.
- W1967744155 hasConceptScore W1967744155C153269930 @default.
- W1967744155 hasConceptScore W1967744155C154945302 @default.
- W1967744155 hasConceptScore W1967744155C178489894 @default.
- W1967744155 hasConceptScore W1967744155C192034797 @default.
- W1967744155 hasConceptScore W1967744155C2777212361 @default.
- W1967744155 hasConceptScore W1967744155C2778583254 @default.
- W1967744155 hasConceptScore W1967744155C33884865 @default.
- W1967744155 hasConceptScore W1967744155C33923547 @default.
- W1967744155 hasConceptScore W1967744155C41008148 @default.
- W1967744155 hasConceptScore W1967744155C80444323 @default.
- W1967744155 hasConceptScore W1967744155C9996903 @default.
- W1967744155 hasIssue "1" @default.
- W1967744155 hasLocation W19677441551 @default.
- W1967744155 hasOpenAccess W1967744155 @default.
- W1967744155 hasPrimaryLocation W19677441551 @default.
- W1967744155 hasRelatedWork W1582302366 @default.
- W1967744155 hasRelatedWork W1967744155 @default.
- W1967744155 hasRelatedWork W2253092483 @default.
- W1967744155 hasRelatedWork W2535076018 @default.
- W1967744155 hasRelatedWork W2603819657 @default.
- W1967744155 hasRelatedWork W2987077352 @default.
- W1967744155 hasRelatedWork W3208083928 @default.
- W1967744155 hasRelatedWork W2565503802 @default.
- W1967744155 hasRelatedWork W2585025927 @default.
- W1967744155 hasRelatedWork W3082340479 @default.
- W1967744155 hasVolume "331" @default.
- W1967744155 isParatext "false" @default.
- W1967744155 isRetracted "false" @default.
- W1967744155 magId "1967744155" @default.
- W1967744155 workType "article" @default.