FRINK Linked Data Fragments server

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

• W176419977 endingPage "211" @default.
• W176419977 startingPage "185" @default.
• W176419977 abstract "Security protocols are prescribed sequences of interactions between entities designed to provide various security services across distributed systems. Security protocols are often wrong due to the extremely subtle properties they are supposed to ensure. Deciding whether or not a security protocol assures secrecy is one of the main challenge in this area. In this paper we survey the most important decidability and complexity results regarding the secrecy problem for various classes of security protocols, such as bounded protocols, finite-sessions protocols, normal protocols, and tagged protocols. All the results are developed under the same formalism. Several flawed statements claimed in the literature are corrected. Simplified proofs and reductions, as well as extensions of some known results, are also provided." @default.
• W176419977 created "2016-06-24" @default.
• W176419977 creator A5015622908 @default.
• W176419977 creator A5040264742 @default.
• W176419977 creator A5040528930 @default.
• W176419977 date "2005-01-01" @default.
• W176419977 modified "2023-10-10" @default.
• W176419977 title "Decidability and Complexity Results for Security Protocols." @default.
• W176419977 cites W1648795825 @default.
• W176419977 cites W1991884788 @default.
• W176419977 cites W2026955262 @default.
• W176419977 cites W2029693536 @default.
• W176419977 cites W2088096459 @default.
• W176419977 cites W2097134979 @default.
• W176419977 cites W2104494325 @default.
• W176419977 cites W2104655005 @default.
• W176419977 cites W2105060599 @default.
• W176419977 cites W2105750191 @default.
• W176419977 cites W2114497629 @default.
• W176419977 cites W2126338744 @default.
• W176419977 cites W2146973388 @default.
• W176419977 cites W2151803723 @default.
• W176419977 cites W2175661655 @default.
• W176419977 cites W2176412652 @default.
• W176419977 cites W3013607954 @default.
• W176419977 cites W2067422029 @default.
• W176419977 hasPublicationYear "2005" @default.
• W176419977 type Work @default.
• W176419977 sameAs 176419977 @default.
• W176419977 citedByCount "12" @default.
• W176419977 countsByYear W1764199772013 @default.
• W176419977 countsByYear W1764199772018 @default.
• W176419977 crossrefType "journal-article" @default.
• W176419977 hasAuthorship W176419977A5015622908 @default.
• W176419977 hasAuthorship W176419977A5040264742 @default.
• W176419977 hasAuthorship W176419977A5040528930 @default.
• W176419977 hasConcept C108710211 @default.
• W176419977 hasConcept C121822524 @default.
• W176419977 hasConcept C134306372 @default.
• W176419977 hasConcept C142362112 @default.
• W176419977 hasConcept C142724271 @default.
• W176419977 hasConcept C153269930 @default.
• W176419977 hasConcept C153349607 @default.
• W176419977 hasConcept C178489894 @default.
• W176419977 hasConcept C204787440 @default.
• W176419977 hasConcept C2524010 @default.
• W176419977 hasConcept C2776452267 @default.
• W176419977 hasConcept C2780385302 @default.
• W176419977 hasConcept C33884865 @default.
• W176419977 hasConcept C33923547 @default.
• W176419977 hasConcept C34388435 @default.
• W176419977 hasConcept C38652104 @default.
• W176419977 hasConcept C41008148 @default.
• W176419977 hasConcept C558565934 @default.
• W176419977 hasConcept C71924100 @default.
• W176419977 hasConcept C73301696 @default.
• W176419977 hasConcept C80444323 @default.
• W176419977 hasConceptScore W176419977C108710211 @default.
• W176419977 hasConceptScore W176419977C121822524 @default.
• W176419977 hasConceptScore W176419977C134306372 @default.
• W176419977 hasConceptScore W176419977C142362112 @default.
• W176419977 hasConceptScore W176419977C142724271 @default.
• W176419977 hasConceptScore W176419977C153269930 @default.
• W176419977 hasConceptScore W176419977C153349607 @default.
• W176419977 hasConceptScore W176419977C178489894 @default.
• W176419977 hasConceptScore W176419977C204787440 @default.
• W176419977 hasConceptScore W176419977C2524010 @default.
• W176419977 hasConceptScore W176419977C2776452267 @default.
• W176419977 hasConceptScore W176419977C2780385302 @default.
• W176419977 hasConceptScore W176419977C33884865 @default.
• W176419977 hasConceptScore W176419977C33923547 @default.
• W176419977 hasConceptScore W176419977C34388435 @default.
• W176419977 hasConceptScore W176419977C38652104 @default.
• W176419977 hasConceptScore W176419977C41008148 @default.
• W176419977 hasConceptScore W176419977C558565934 @default.
• W176419977 hasConceptScore W176419977C71924100 @default.
• W176419977 hasConceptScore W176419977C73301696 @default.
• W176419977 hasConceptScore W176419977C80444323 @default.
• W176419977 hasLocation W1764199771 @default.
• W176419977 hasOpenAccess W176419977 @default.
• W176419977 hasPrimaryLocation W1764199771 @default.
• W176419977 hasRelatedWork W1503398405 @default.
• W176419977 hasRelatedWork W1974011207 @default.
• W176419977 hasRelatedWork W1981315040 @default.
• W176419977 hasRelatedWork W2009426964 @default.
• W176419977 hasRelatedWork W2029693536 @default.
• W176419977 hasRelatedWork W2103770608 @default.
• W176419977 hasRelatedWork W2104655005 @default.
• W176419977 hasRelatedWork W2114497629 @default.
• W176419977 hasRelatedWork W2146973388 @default.
• W176419977 hasRelatedWork W2153921791 @default.
• W176419977 hasRelatedWork W2417877473 @default.
• W176419977 hasRelatedWork W2611334078 @default.
• W176419977 hasRelatedWork W28167893 @default.
• W176419977 hasRelatedWork W2915114639 @default.
• W176419977 hasRelatedWork W2955497888 @default.
• W176419977 hasRelatedWork W3004063420 @default.
• W176419977 hasRelatedWork W3082561403 @default.

• next