FRINK Linked Data Fragments server

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

• W2024006228 endingPage "4043" @default.
• W2024006228 startingPage "4007" @default.
• W2024006228 abstract "The distributed temporal logic DTL is an expressive logic, well suited for formalizing properties of concurrent, communicating agents. We show how DTL can be used as a metalogic to reason about and relate different security protocol models. This includes reasoning about model simplifications, where models are transformed to have fewer agents or behaviors, and verifying model reductions, where to establish the validity of a property it suffices to consider its satisfaction on only a subset of models. We illustrate how DTL can be used to formalize security models, protocols, and properties, and then present three concrete examples of metareasoning. First, we prove a general theorem about sufficient conditions for data to remain secret during communication. Second, we prove the equivalence of two models for guaranteeing message-origin authentication. Finally, we relate channel-based and intruder-centric models, showing that it is sufficient to consider models in which the intruder completely controls the network. While some of these results belong to the folklore or have been shown, mutatis mutandis, using other formalisms, DTL provides a uniform means to prove them within the same formalism. It also allows us to clarify subtle aspects of these model transformations that are often neglected or cannot be specified in the first place." @default.
• W2024006228 created "2016-06-24" @default.
• W2024006228 creator A5006730208 @default.
• W2024006228 creator A5008068694 @default.
• W2024006228 creator A5017237200 @default.
• W2024006228 creator A5025344654 @default.
• W2024006228 date "2011-07-01" @default.
• W2024006228 modified "2023-09-28" @default.
• W2024006228 title "Distributed temporal logic for the analysis of security protocol models" @default.
• W2024006228 cites W1488313539 @default.
• W2024006228 cites W1569881051 @default.
• W2024006228 cites W1604692831 @default.
• W2024006228 cites W1873081628 @default.
• W2024006228 cites W1987035270 @default.
• W2024006228 cites W1988245494 @default.
• W2024006228 cites W2003915781 @default.
• W2024006228 cites W2007164449 @default.
• W2024006228 cites W2010939995 @default.
• W2024006228 cites W2016402420 @default.
• W2024006228 cites W2027660602 @default.
• W2024006228 cites W2029693536 @default.
• W2024006228 cites W2032577199 @default.
• W2024006228 cites W2040489949 @default.
• W2024006228 cites W2049618117 @default.
• W2024006228 cites W2104655005 @default.
• W2024006228 cites W2124030056 @default.
• W2024006228 cites W2125226998 @default.
• W2024006228 cites W2126338744 @default.
• W2024006228 cites W2126994166 @default.
• W2024006228 cites W2127862944 @default.
• W2024006228 cites W2128844732 @default.
• W2024006228 cites W2132544882 @default.
• W2024006228 cites W2146973388 @default.
• W2024006228 cites W2151582871 @default.
• W2024006228 cites W2166327763 @default.
• W2024006228 cites W2175137100 @default.
• W2024006228 cites W3162919972 @default.
• W2024006228 cites W4245319257 @default.
• W2024006228 doi "https://doi.org/10.1016/j.tcs.2011.04.006" @default.
• W2024006228 hasPublicationYear "2011" @default.
• W2024006228 type Work @default.
• W2024006228 sameAs 2024006228 @default.
• W2024006228 citedByCount "17" @default.
• W2024006228 countsByYear W20240062282012 @default.
• W2024006228 countsByYear W20240062282014 @default.
• W2024006228 countsByYear W20240062282015 @default.
• W2024006228 countsByYear W20240062282016 @default.
• W2024006228 countsByYear W20240062282017 @default.
• W2024006228 countsByYear W20240062282019 @default.
• W2024006228 countsByYear W20240062282020 @default.
• W2024006228 countsByYear W20240062282022 @default.
• W2024006228 crossrefType "journal-article" @default.
• W2024006228 hasAuthorship W2024006228A5006730208 @default.
• W2024006228 hasAuthorship W2024006228A5008068694 @default.
• W2024006228 hasAuthorship W2024006228A5017237200 @default.
• W2024006228 hasAuthorship W2024006228A5025344654 @default.
• W2024006228 hasBestOaLocation W20240062281 @default.
• W2024006228 hasConcept C111472728 @default.
• W2024006228 hasConcept C11413529 @default.
• W2024006228 hasConcept C118615104 @default.
• W2024006228 hasConcept C138885662 @default.
• W2024006228 hasConcept C142362112 @default.
• W2024006228 hasConcept C142724271 @default.
• W2024006228 hasConcept C153349607 @default.
• W2024006228 hasConcept C171018156 @default.
• W2024006228 hasConcept C178489894 @default.
• W2024006228 hasConcept C189950617 @default.
• W2024006228 hasConcept C204787440 @default.
• W2024006228 hasConcept C2524010 @default.
• W2024006228 hasConcept C2780069185 @default.
• W2024006228 hasConcept C2780385302 @default.
• W2024006228 hasConcept C33884865 @default.
• W2024006228 hasConcept C33923547 @default.
• W2024006228 hasConcept C41008148 @default.
• W2024006228 hasConcept C4777664 @default.
• W2024006228 hasConcept C558565934 @default.
• W2024006228 hasConcept C71924100 @default.
• W2024006228 hasConcept C73301696 @default.
• W2024006228 hasConcept C80444323 @default.
• W2024006228 hasConceptScore W2024006228C111472728 @default.
• W2024006228 hasConceptScore W2024006228C11413529 @default.
• W2024006228 hasConceptScore W2024006228C118615104 @default.
• W2024006228 hasConceptScore W2024006228C138885662 @default.
• W2024006228 hasConceptScore W2024006228C142362112 @default.
• W2024006228 hasConceptScore W2024006228C142724271 @default.
• W2024006228 hasConceptScore W2024006228C153349607 @default.
• W2024006228 hasConceptScore W2024006228C171018156 @default.
• W2024006228 hasConceptScore W2024006228C178489894 @default.
• W2024006228 hasConceptScore W2024006228C189950617 @default.
• W2024006228 hasConceptScore W2024006228C204787440 @default.
• W2024006228 hasConceptScore W2024006228C2524010 @default.
• W2024006228 hasConceptScore W2024006228C2780069185 @default.
• W2024006228 hasConceptScore W2024006228C2780385302 @default.
• W2024006228 hasConceptScore W2024006228C33884865 @default.
• W2024006228 hasConceptScore W2024006228C33923547 @default.
• W2024006228 hasConceptScore W2024006228C41008148 @default.
• W2024006228 hasConceptScore W2024006228C4777664 @default.
• W2024006228 hasConceptScore W2024006228C558565934 @default.

• next