Matches in SemOpenAlex for { <https://semopenalex.org/work/W1751516141> ?p ?o ?g. }
- W1751516141 endingPage "165" @default.
- W1751516141 startingPage "135" @default.
- W1751516141 abstract "An important problem in the analysis of security protocols is that of checking whether a protocol preserves secrecy, i.e., no secret owned by the honest agents is unintentionally revealed to the intruder. This problem has been proved to be undecidable in several settings. In particular, Durgin et a l. prove the undecidability of the secrecy problem in the presence of an unbounded set of nonces, even when the message length is bounded. In this paper we prove that even in the presence of an unbounded set of nonces the secrecy problem is decidable for a reasonable subclass of protocols, which we call context-explicit protocols." @default.
- W1751516141 created "2016-06-24" @default.
- W1751516141 creator A5049510914 @default.
- W1751516141 creator A5051075418 @default.
- W1751516141 date "2005-01-20" @default.
- W1751516141 modified "2023-09-27" @default.
- W1751516141 title "Decidability of context-explicit security protocols" @default.
- W1751516141 cites W1502457089 @default.
- W1751516141 cites W1538657331 @default.
- W1751516141 cites W1539388770 @default.
- W1751516141 cites W1975688140 @default.
- W1751516141 cites W1991884788 @default.
- W1751516141 cites W2009426964 @default.
- W1751516141 cites W2029693536 @default.
- W1751516141 cites W2088096459 @default.
- W1751516141 cites W2097134979 @default.
- W1751516141 cites W2097913369 @default.
- W1751516141 cites W2114104031 @default.
- W1751516141 cites W2121634453 @default.
- W1751516141 cites W2124782811 @default.
- W1751516141 cites W2126338744 @default.
- W1751516141 cites W2146973388 @default.
- W1751516141 cites W2153921791 @default.
- W1751516141 cites W2155032609 @default.
- W1751516141 cites W2176412652 @default.
- W1751516141 cites W3162919972 @default.
- W1751516141 cites W962855702 @default.
- W1751516141 doi "https://doi.org/10.3233/jcs-2005-13106" @default.
- W1751516141 hasPublicationYear "2005" @default.
- W1751516141 type Work @default.
- W1751516141 sameAs 1751516141 @default.
- W1751516141 citedByCount "32" @default.
- W1751516141 countsByYear W17515161412012 @default.
- W1751516141 countsByYear W17515161412013 @default.
- W1751516141 countsByYear W17515161412014 @default.
- W1751516141 countsByYear W17515161412015 @default.
- W1751516141 countsByYear W17515161412017 @default.
- W1751516141 countsByYear W17515161412019 @default.
- W1751516141 crossrefType "journal-article" @default.
- W1751516141 hasAuthorship W1751516141A5049510914 @default.
- W1751516141 hasAuthorship W1751516141A5051075418 @default.
- W1751516141 hasConcept C134306372 @default.
- W1751516141 hasConcept C142724271 @default.
- W1751516141 hasConcept C148730421 @default.
- W1751516141 hasConcept C151730666 @default.
- W1751516141 hasConcept C153269930 @default.
- W1751516141 hasConcept C177264268 @default.
- W1751516141 hasConcept C178489894 @default.
- W1751516141 hasConcept C192034797 @default.
- W1751516141 hasConcept C199360897 @default.
- W1751516141 hasConcept C204787440 @default.
- W1751516141 hasConcept C2776452267 @default.
- W1751516141 hasConcept C2779343474 @default.
- W1751516141 hasConcept C2780385302 @default.
- W1751516141 hasConcept C33884865 @default.
- W1751516141 hasConcept C33923547 @default.
- W1751516141 hasConcept C34388435 @default.
- W1751516141 hasConcept C38652104 @default.
- W1751516141 hasConcept C41008148 @default.
- W1751516141 hasConcept C71924100 @default.
- W1751516141 hasConcept C80444323 @default.
- W1751516141 hasConcept C86803240 @default.
- W1751516141 hasConcept C9996903 @default.
- W1751516141 hasConceptScore W1751516141C134306372 @default.
- W1751516141 hasConceptScore W1751516141C142724271 @default.
- W1751516141 hasConceptScore W1751516141C148730421 @default.
- W1751516141 hasConceptScore W1751516141C151730666 @default.
- W1751516141 hasConceptScore W1751516141C153269930 @default.
- W1751516141 hasConceptScore W1751516141C177264268 @default.
- W1751516141 hasConceptScore W1751516141C178489894 @default.
- W1751516141 hasConceptScore W1751516141C192034797 @default.
- W1751516141 hasConceptScore W1751516141C199360897 @default.
- W1751516141 hasConceptScore W1751516141C204787440 @default.
- W1751516141 hasConceptScore W1751516141C2776452267 @default.
- W1751516141 hasConceptScore W1751516141C2779343474 @default.
- W1751516141 hasConceptScore W1751516141C2780385302 @default.
- W1751516141 hasConceptScore W1751516141C33884865 @default.
- W1751516141 hasConceptScore W1751516141C33923547 @default.
- W1751516141 hasConceptScore W1751516141C34388435 @default.
- W1751516141 hasConceptScore W1751516141C38652104 @default.
- W1751516141 hasConceptScore W1751516141C41008148 @default.
- W1751516141 hasConceptScore W1751516141C71924100 @default.
- W1751516141 hasConceptScore W1751516141C80444323 @default.
- W1751516141 hasConceptScore W1751516141C86803240 @default.
- W1751516141 hasConceptScore W1751516141C9996903 @default.
- W1751516141 hasIssue "1" @default.
- W1751516141 hasLocation W17515161411 @default.
- W1751516141 hasOpenAccess W1751516141 @default.
- W1751516141 hasPrimaryLocation W17515161411 @default.
- W1751516141 hasRelatedWork W1565697634 @default.
- W1751516141 hasRelatedWork W1751516141 @default.
- W1751516141 hasRelatedWork W1762943472 @default.
- W1751516141 hasRelatedWork W1778715962 @default.
- W1751516141 hasRelatedWork W2217789679 @default.
- W1751516141 hasRelatedWork W2612627043 @default.
- W1751516141 hasRelatedWork W2987077352 @default.
- W1751516141 hasRelatedWork W3003059772 @default.
- W1751516141 hasRelatedWork W4376253408 @default.