Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563328497> ?p ?o ?g. }
- W1563328497 endingPage "235" @default.
- W1563328497 startingPage "219" @default.
- W1563328497 abstract "Logics for specifying properties of security protocols and reasoning about them have received increasing attention over the past few years. In this paper, we propose a propositional logic of knowledge, augmented with tense modalities, in which many important properties of security protocols can be naturally expressed. We also describe in some detail the protocol model, which helps provide a precise and general semantics for the logic. The main technical result is the decidability of the verification problem for the logic." @default.
- W1563328497 created "2016-06-24" @default.
- W1563328497 creator A5049510914 @default.
- W1563328497 creator A5051075418 @default.
- W1563328497 date "2005-06-10" @default.
- W1563328497 modified "2023-09-26" @default.
- W1563328497 title "Deciding knowledge properties of security protocols" @default.
- W1563328497 cites W117052899 @default.
- W1563328497 cites W1531001456 @default.
- W1563328497 cites W1538657331 @default.
- W1563328497 cites W1603690896 @default.
- W1563328497 cites W1607134907 @default.
- W1563328497 cites W1751516141 @default.
- W1563328497 cites W1964615470 @default.
- W1563328497 cites W1991305430 @default.
- W1563328497 cites W2009426964 @default.
- W1563328497 cites W2010939995 @default.
- W1563328497 cites W2029693536 @default.
- W1563328497 cites W2033442660 @default.
- W1563328497 cites W2077025369 @default.
- W1563328497 cites W2097134979 @default.
- W1563328497 cites W2102922499 @default.
- W1563328497 cites W2104494325 @default.
- W1563328497 cites W2132898941 @default.
- W1563328497 cites W2146973388 @default.
- W1563328497 cites W2153921791 @default.
- W1563328497 cites W2156773905 @default.
- W1563328497 cites W2160675873 @default.
- W1563328497 cites W2176412652 @default.
- W1563328497 cites W2176962207 @default.
- W1563328497 cites W2952643249 @default.
- W1563328497 cites W2990286289 @default.
- W1563328497 cites W3013607954 @default.
- W1563328497 cites W3196893454 @default.
- W1563328497 cites W962855702 @default.
- W1563328497 hasPublicationYear "2005" @default.
- W1563328497 type Work @default.
- W1563328497 sameAs 1563328497 @default.
- W1563328497 citedByCount "9" @default.
- W1563328497 countsByYear W15633284972021 @default.
- W1563328497 crossrefType "proceedings-article" @default.
- W1563328497 hasAuthorship W1563328497A5049510914 @default.
- W1563328497 hasAuthorship W1563328497A5051075418 @default.
- W1563328497 hasConcept C102993220 @default.
- W1563328497 hasConcept C142724271 @default.
- W1563328497 hasConcept C144024400 @default.
- W1563328497 hasConcept C153269930 @default.
- W1563328497 hasConcept C178489894 @default.
- W1563328497 hasConcept C184337299 @default.
- W1563328497 hasConcept C195344581 @default.
- W1563328497 hasConcept C199360897 @default.
- W1563328497 hasConcept C204787440 @default.
- W1563328497 hasConcept C2779903281 @default.
- W1563328497 hasConcept C2780385302 @default.
- W1563328497 hasConcept C33884865 @default.
- W1563328497 hasConcept C36289849 @default.
- W1563328497 hasConcept C38652104 @default.
- W1563328497 hasConcept C41008148 @default.
- W1563328497 hasConcept C71924100 @default.
- W1563328497 hasConcept C80444323 @default.
- W1563328497 hasConceptScore W1563328497C102993220 @default.
- W1563328497 hasConceptScore W1563328497C142724271 @default.
- W1563328497 hasConceptScore W1563328497C144024400 @default.
- W1563328497 hasConceptScore W1563328497C153269930 @default.
- W1563328497 hasConceptScore W1563328497C178489894 @default.
- W1563328497 hasConceptScore W1563328497C184337299 @default.
- W1563328497 hasConceptScore W1563328497C195344581 @default.
- W1563328497 hasConceptScore W1563328497C199360897 @default.
- W1563328497 hasConceptScore W1563328497C204787440 @default.
- W1563328497 hasConceptScore W1563328497C2779903281 @default.
- W1563328497 hasConceptScore W1563328497C2780385302 @default.
- W1563328497 hasConceptScore W1563328497C33884865 @default.
- W1563328497 hasConceptScore W1563328497C36289849 @default.
- W1563328497 hasConceptScore W1563328497C38652104 @default.
- W1563328497 hasConceptScore W1563328497C41008148 @default.
- W1563328497 hasConceptScore W1563328497C71924100 @default.
- W1563328497 hasConceptScore W1563328497C80444323 @default.
- W1563328497 hasLocation W15633284971 @default.
- W1563328497 hasOpenAccess W1563328497 @default.
- W1563328497 hasPrimaryLocation W15633284971 @default.
- W1563328497 hasRelatedWork W1489891289 @default.
- W1563328497 hasRelatedWork W1581458632 @default.
- W1563328497 hasRelatedWork W1600159979 @default.
- W1563328497 hasRelatedWork W192014798 @default.
- W1563328497 hasRelatedWork W2022205872 @default.
- W1563328497 hasRelatedWork W2032206951 @default.
- W1563328497 hasRelatedWork W2039352370 @default.
- W1563328497 hasRelatedWork W2046551143 @default.
- W1563328497 hasRelatedWork W2057720008 @default.
- W1563328497 hasRelatedWork W2070207454 @default.
- W1563328497 hasRelatedWork W2096959337 @default.
- W1563328497 hasRelatedWork W2106238708 @default.
- W1563328497 hasRelatedWork W2120613606 @default.
- W1563328497 hasRelatedWork W2145946155 @default.
- W1563328497 hasRelatedWork W2146819619 @default.
- W1563328497 hasRelatedWork W2153157844 @default.
- W1563328497 hasRelatedWork W2159131252 @default.
- W1563328497 hasRelatedWork W2401001010 @default.