Matches in SemOpenAlex for { <https://semopenalex.org/work/W319821581> ?p ?o ?g. }
- W319821581 endingPage "108" @default.
- W319821581 startingPage "91" @default.
- W319821581 abstract "We propose a new, widely applicable model for analyzing knowledge-based (epistemic) and strategic properties of cryptographic protocols. We prove that the corresponding model checking problem with respect to an expressive epistemic strategic logic is decidable. As corollaries, we obtain decidability of complex security properties including coercion-resistance of voting protocols, accountability of protocols using a trusted third party, and abuse-freeness of contract signing protocols." @default.
- W319821581 created "2016-06-24" @default.
- W319821581 creator A5071452884 @default.
- W319821581 date "2012-01-01" @default.
- W319821581 modified "2023-09-27" @default.
- W319821581 title "Deciding Epistemic and Strategic Properties of Cryptographic Protocols" @default.
- W319821581 cites W1533609319 @default.
- W319821581 cites W1910260799 @default.
- W319821581 cites W1958691507 @default.
- W319821581 cites W1977276947 @default.
- W319821581 cites W2009426964 @default.
- W319821581 cites W2010939995 @default.
- W319821581 cites W2028234853 @default.
- W319821581 cites W2029693536 @default.
- W319821581 cites W2048905609 @default.
- W319821581 cites W2060349224 @default.
- W319821581 cites W2067887313 @default.
- W319821581 cites W2077025369 @default.
- W319821581 cites W2087811006 @default.
- W319821581 cites W2103221883 @default.
- W319821581 cites W2104494325 @default.
- W319821581 cites W2108422290 @default.
- W319821581 cites W2112450338 @default.
- W319821581 cites W2121170230 @default.
- W319821581 cites W2129480811 @default.
- W319821581 cites W2404159111 @default.
- W319821581 cites W2630413468 @default.
- W319821581 cites W3003983481 @default.
- W319821581 cites W319821581 @default.
- W319821581 cites W4206169140 @default.
- W319821581 cites W1584977558 @default.
- W319821581 doi "https://doi.org/10.1007/978-3-642-33167-1_6" @default.
- W319821581 hasPublicationYear "2012" @default.
- W319821581 type Work @default.
- W319821581 sameAs 319821581 @default.
- W319821581 citedByCount "7" @default.
- W319821581 countsByYear W3198215812012 @default.
- W319821581 countsByYear W3198215812013 @default.
- W319821581 countsByYear W3198215812014 @default.
- W319821581 countsByYear W3198215812016 @default.
- W319821581 countsByYear W3198215812022 @default.
- W319821581 crossrefType "book-chapter" @default.
- W319821581 hasAuthorship W319821581A5071452884 @default.
- W319821581 hasBestOaLocation W3198215811 @default.
- W319821581 hasConcept C138885662 @default.
- W319821581 hasConcept C142724271 @default.
- W319821581 hasConcept C153269930 @default.
- W319821581 hasConcept C15927051 @default.
- W319821581 hasConcept C17744445 @default.
- W319821581 hasConcept C178489894 @default.
- W319821581 hasConcept C199539241 @default.
- W319821581 hasConcept C204787440 @default.
- W319821581 hasConcept C2776007630 @default.
- W319821581 hasConcept C2777188754 @default.
- W319821581 hasConcept C2780385302 @default.
- W319821581 hasConcept C33884865 @default.
- W319821581 hasConcept C38652104 @default.
- W319821581 hasConcept C41008148 @default.
- W319821581 hasConcept C41895202 @default.
- W319821581 hasConcept C520049643 @default.
- W319821581 hasConcept C71924100 @default.
- W319821581 hasConcept C80444323 @default.
- W319821581 hasConcept C94625758 @default.
- W319821581 hasConceptScore W319821581C138885662 @default.
- W319821581 hasConceptScore W319821581C142724271 @default.
- W319821581 hasConceptScore W319821581C153269930 @default.
- W319821581 hasConceptScore W319821581C15927051 @default.
- W319821581 hasConceptScore W319821581C17744445 @default.
- W319821581 hasConceptScore W319821581C178489894 @default.
- W319821581 hasConceptScore W319821581C199539241 @default.
- W319821581 hasConceptScore W319821581C204787440 @default.
- W319821581 hasConceptScore W319821581C2776007630 @default.
- W319821581 hasConceptScore W319821581C2777188754 @default.
- W319821581 hasConceptScore W319821581C2780385302 @default.
- W319821581 hasConceptScore W319821581C33884865 @default.
- W319821581 hasConceptScore W319821581C38652104 @default.
- W319821581 hasConceptScore W319821581C41008148 @default.
- W319821581 hasConceptScore W319821581C41895202 @default.
- W319821581 hasConceptScore W319821581C520049643 @default.
- W319821581 hasConceptScore W319821581C71924100 @default.
- W319821581 hasConceptScore W319821581C80444323 @default.
- W319821581 hasConceptScore W319821581C94625758 @default.
- W319821581 hasLocation W3198215811 @default.
- W319821581 hasLocation W3198215812 @default.
- W319821581 hasLocation W3198215813 @default.
- W319821581 hasOpenAccess W319821581 @default.
- W319821581 hasPrimaryLocation W3198215811 @default.
- W319821581 hasRelatedWork W1585860117 @default.
- W319821581 hasRelatedWork W1678976074 @default.
- W319821581 hasRelatedWork W2134477803 @default.
- W319821581 hasRelatedWork W2505612108 @default.
- W319821581 hasRelatedWork W2900635632 @default.
- W319821581 hasRelatedWork W2972017559 @default.
- W319821581 hasRelatedWork W3049088603 @default.
- W319821581 hasRelatedWork W3207178427 @default.
- W319821581 hasRelatedWork W9022780 @default.
- W319821581 hasRelatedWork W2585025927 @default.
- W319821581 isParatext "false" @default.