FRINK Linked Data Fragments server

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

• W2951843141 startingPage "340" @default.
• W2951843141 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.
• W2951843141 created "2019-06-27" @default.
• W2951843141 creator A5071452884 @default.
• W2951843141 date "2012-01-01" @default.
• W2951843141 modified "2023-09-26" @default.
• W2951843141 title "Deciding Epistemic and Strategic Properties of Cryptographic Protocols." @default.
• W2951843141 cites W1533609319 @default.
• W2951843141 cites W1545861088 @default.
• W2951843141 cites W1752677809 @default.
• W2951843141 cites W1819098364 @default.
• W2951843141 cites W1910260799 @default.
• W2951843141 cites W1973054120 @default.
• W2951843141 cites W2009426964 @default.
• W2951843141 cites W2010939995 @default.
• W2951843141 cites W2028234853 @default.
• W2951843141 cites W2029693536 @default.
• W2951843141 cites W2060349224 @default.
• W2951843141 cites W2067887313 @default.
• W2951843141 cites W2077025369 @default.
• W2951843141 cites W2087811006 @default.
• W2951843141 cites W2103221883 @default.
• W2951843141 cites W2108422290 @default.
• W2951843141 cites W2112450338 @default.
• W2951843141 cites W2125609567 @default.
• W2951843141 cites W2157438678 @default.
• W2951843141 cites W2404159111 @default.
• W2951843141 cites W2412365544 @default.
• W2951843141 cites W2630413468 @default.
• W2951843141 cites W1584977558 @default.
• W2951843141 cites W2612802984 @default.
• W2951843141 hasPublicationYear "2012" @default.
• W2951843141 type Work @default.
• W2951843141 sameAs 2951843141 @default.
• W2951843141 citedByCount "0" @default.
• W2951843141 crossrefType "posted-content" @default.
• W2951843141 hasAuthorship W2951843141A5071452884 @default.
• W2951843141 hasConcept C138885662 @default.
• W2951843141 hasConcept C142724271 @default.
• W2951843141 hasConcept C153269930 @default.
• W2951843141 hasConcept C15927051 @default.
• W2951843141 hasConcept C17744445 @default.
• W2951843141 hasConcept C178489894 @default.
• W2951843141 hasConcept C199539241 @default.
• W2951843141 hasConcept C204787440 @default.
• W2951843141 hasConcept C2776007630 @default.
• W2951843141 hasConcept C2777188754 @default.
• W2951843141 hasConcept C2780385302 @default.
• W2951843141 hasConcept C33884865 @default.
• W2951843141 hasConcept C38652104 @default.
• W2951843141 hasConcept C41008148 @default.
• W2951843141 hasConcept C41895202 @default.
• W2951843141 hasConcept C520049643 @default.
• W2951843141 hasConcept C71924100 @default.
• W2951843141 hasConcept C80444323 @default.
• W2951843141 hasConcept C94625758 @default.
• W2951843141 hasConceptScore W2951843141C138885662 @default.
• W2951843141 hasConceptScore W2951843141C142724271 @default.
• W2951843141 hasConceptScore W2951843141C153269930 @default.
• W2951843141 hasConceptScore W2951843141C15927051 @default.
• W2951843141 hasConceptScore W2951843141C17744445 @default.
• W2951843141 hasConceptScore W2951843141C178489894 @default.
• W2951843141 hasConceptScore W2951843141C199539241 @default.
• W2951843141 hasConceptScore W2951843141C204787440 @default.
• W2951843141 hasConceptScore W2951843141C2776007630 @default.
• W2951843141 hasConceptScore W2951843141C2777188754 @default.
• W2951843141 hasConceptScore W2951843141C2780385302 @default.
• W2951843141 hasConceptScore W2951843141C33884865 @default.
• W2951843141 hasConceptScore W2951843141C38652104 @default.
• W2951843141 hasConceptScore W2951843141C41008148 @default.
• W2951843141 hasConceptScore W2951843141C41895202 @default.
• W2951843141 hasConceptScore W2951843141C520049643 @default.
• W2951843141 hasConceptScore W2951843141C71924100 @default.
• W2951843141 hasConceptScore W2951843141C80444323 @default.
• W2951843141 hasConceptScore W2951843141C94625758 @default.
• W2951843141 hasLocation W29518431411 @default.
• W2951843141 hasOpenAccess W2951843141 @default.
• W2951843141 hasPrimaryLocation W29518431411 @default.
• W2951843141 hasRelatedWork W1520370571 @default.
• W2951843141 hasRelatedWork W1563328497 @default.
• W2951843141 hasRelatedWork W1778715962 @default.
• W2951843141 hasRelatedWork W1977276947 @default.
• W2951843141 hasRelatedWork W2016172583 @default.
• W2951843141 hasRelatedWork W2025891636 @default.
• W2951843141 hasRelatedWork W2035877969 @default.
• W2951843141 hasRelatedWork W2070207454 @default.
• W2951843141 hasRelatedWork W2106238708 @default.
• W2951843141 hasRelatedWork W2112450338 @default.
• W2951843141 hasRelatedWork W2112884294 @default.
• W2951843141 hasRelatedWork W2264667761 @default.
• W2951843141 hasRelatedWork W2282447450 @default.
• W2951843141 hasRelatedWork W2810709475 @default.
• W2951843141 hasRelatedWork W2951996797 @default.
• W2951843141 hasRelatedWork W2972786277 @default.
• W2951843141 hasRelatedWork W3003354543 @default.
• W2951843141 hasRelatedWork W3192265748 @default.
• W2951843141 hasRelatedWork W319821581 @default.
• W2951843141 hasRelatedWork W44525949 @default.
• W2951843141 hasVolume "2012" @default.
• W2951843141 isParatext "false" @default.

• next