Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057720008> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2057720008 endingPage "15" @default.
- W2057720008 startingPage "1" @default.
- W2057720008 abstract "Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge propagation, usually they do not provide a general language for expressing arbitrary properties involving local knowledge and knowledge transfer. Building on this observation, we introduce a framework for security protocol analysis based on dynamic spatial logic specifications. Our computational model is a variant of existing pi-calculi, while specifications are expressed in a dynamic spatial logic extended with an epistemic operator. We present the syntax and semantics of the model and logic, and discuss the expressiveness of the approach, showing it complete for passive attackers. We also prove that generic Dolev-Yao attackers may be mechanically determined for any deterministic finite protocol, and discuss how this result may be used to reason about security properties of open systems. We also present a model-checking algorithm for our logic, which has been implemented as an extension to the SLMC system." @default.
- W2057720008 created "2016-06-24" @default.
- W2057720008 creator A5019928703 @default.
- W2057720008 creator A5039596448 @default.
- W2057720008 date "2011-02-25" @default.
- W2057720008 modified "2023-10-17" @default.
- W2057720008 title "A Spatial-Epistemic Logic for Reasoning about Security Protocols" @default.
- W2057720008 cites W1603878273 @default.
- W2057720008 cites W1765464860 @default.
- W2057720008 cites W1973054120 @default.
- W2057720008 cites W1994676271 @default.
- W2057720008 cites W2001788001 @default.
- W2057720008 cites W2009426964 @default.
- W2057720008 cites W2010939995 @default.
- W2057720008 cites W2060349224 @default.
- W2057720008 cites W2117064875 @default.
- W2057720008 doi "https://doi.org/10.4204/eptcs.51.1" @default.
- W2057720008 hasPublicationYear "2011" @default.
- W2057720008 type Work @default.
- W2057720008 sameAs 2057720008 @default.
- W2057720008 citedByCount "3" @default.
- W2057720008 countsByYear W20577200082013 @default.
- W2057720008 countsByYear W20577200082017 @default.
- W2057720008 countsByYear W20577200082020 @default.
- W2057720008 crossrefType "journal-article" @default.
- W2057720008 hasAuthorship W2057720008A5019928703 @default.
- W2057720008 hasAuthorship W2057720008A5039596448 @default.
- W2057720008 hasBestOaLocation W20577200081 @default.
- W2057720008 hasConcept C102993220 @default.
- W2057720008 hasConcept C107247716 @default.
- W2057720008 hasConcept C110251889 @default.
- W2057720008 hasConcept C11413529 @default.
- W2057720008 hasConcept C11648818 @default.
- W2057720008 hasConcept C138885662 @default.
- W2057720008 hasConcept C142724271 @default.
- W2057720008 hasConcept C154945302 @default.
- W2057720008 hasConcept C159032336 @default.
- W2057720008 hasConcept C178489894 @default.
- W2057720008 hasConcept C184337299 @default.
- W2057720008 hasConcept C199360897 @default.
- W2057720008 hasConcept C203659156 @default.
- W2057720008 hasConcept C204787440 @default.
- W2057720008 hasConcept C25016198 @default.
- W2057720008 hasConcept C2778029271 @default.
- W2057720008 hasConcept C2779808786 @default.
- W2057720008 hasConcept C2780385302 @default.
- W2057720008 hasConcept C33884865 @default.
- W2057720008 hasConcept C41008148 @default.
- W2057720008 hasConcept C41895202 @default.
- W2057720008 hasConcept C60048249 @default.
- W2057720008 hasConcept C71924100 @default.
- W2057720008 hasConcept C80444323 @default.
- W2057720008 hasConceptScore W2057720008C102993220 @default.
- W2057720008 hasConceptScore W2057720008C107247716 @default.
- W2057720008 hasConceptScore W2057720008C110251889 @default.
- W2057720008 hasConceptScore W2057720008C11413529 @default.
- W2057720008 hasConceptScore W2057720008C11648818 @default.
- W2057720008 hasConceptScore W2057720008C138885662 @default.
- W2057720008 hasConceptScore W2057720008C142724271 @default.
- W2057720008 hasConceptScore W2057720008C154945302 @default.
- W2057720008 hasConceptScore W2057720008C159032336 @default.
- W2057720008 hasConceptScore W2057720008C178489894 @default.
- W2057720008 hasConceptScore W2057720008C184337299 @default.
- W2057720008 hasConceptScore W2057720008C199360897 @default.
- W2057720008 hasConceptScore W2057720008C203659156 @default.
- W2057720008 hasConceptScore W2057720008C204787440 @default.
- W2057720008 hasConceptScore W2057720008C25016198 @default.
- W2057720008 hasConceptScore W2057720008C2778029271 @default.
- W2057720008 hasConceptScore W2057720008C2779808786 @default.
- W2057720008 hasConceptScore W2057720008C2780385302 @default.
- W2057720008 hasConceptScore W2057720008C33884865 @default.
- W2057720008 hasConceptScore W2057720008C41008148 @default.
- W2057720008 hasConceptScore W2057720008C41895202 @default.
- W2057720008 hasConceptScore W2057720008C60048249 @default.
- W2057720008 hasConceptScore W2057720008C71924100 @default.
- W2057720008 hasConceptScore W2057720008C80444323 @default.
- W2057720008 hasLocation W20577200081 @default.
- W2057720008 hasLocation W20577200082 @default.
- W2057720008 hasLocation W20577200083 @default.
- W2057720008 hasOpenAccess W2057720008 @default.
- W2057720008 hasPrimaryLocation W20577200081 @default.
- W2057720008 hasRelatedWork W1511042226 @default.
- W2057720008 hasRelatedWork W1513903619 @default.
- W2057720008 hasRelatedWork W1599831362 @default.
- W2057720008 hasRelatedWork W2057720008 @default.
- W2057720008 hasRelatedWork W2098403756 @default.
- W2057720008 hasRelatedWork W2110061639 @default.
- W2057720008 hasRelatedWork W2159094006 @default.
- W2057720008 hasRelatedWork W2247705531 @default.
- W2057720008 hasRelatedWork W2963147186 @default.
- W2057720008 hasRelatedWork W3149708120 @default.
- W2057720008 hasVolume "51" @default.
- W2057720008 isParatext "false" @default.
- W2057720008 isRetracted "false" @default.
- W2057720008 magId "2057720008" @default.
- W2057720008 workType "article" @default.