FRINK Linked Data Fragments server

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

• W2188452851 endingPage "1796" @default.
• W2188452851 startingPage "1795" @default.
• W2188452851 abstract "Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to design a sound an complete language for number guessing games. The probabilities generated by our semantics allow for and motivate Monte Carlo model checking for register models. We show that the approach can be extended to a real life setting, namely the analysis of cryptographic security protocols. We look at a well known security protocol for secret key distribution over an insecure network, and point out how this can be analyzed with our modified version of Kripke semantics." @default.
• W2188452851 created "2016-06-24" @default.
• W2188452851 creator A5008125820 @default.
• W2188452851 creator A5032285962 @default.
• W2188452851 date "2015-05-04" @default.
• W2188452851 modified "2023-09-26" @default.
• W2188452851 title "Elements of Epistemic Crypto Logic" @default.
• W2188452851 cites W1279320161 @default.
• W2188452851 cites W1518725080 @default.
• W2188452851 cites W1599831362 @default.
• W2188452851 cites W176646797 @default.
• W2188452851 cites W1788426572 @default.
• W2188452851 cites W1944365733 @default.
• W2188452851 cites W1998777945 @default.
• W2188452851 cites W2012857639 @default.
• W2188452851 cites W2029693536 @default.
• W2188452851 cites W2035877969 @default.
• W2188452851 cites W2110930028 @default.
• W2188452851 cites W2120613606 @default.
• W2188452851 cites W2122592893 @default.
• W2188452851 cites W2124371467 @default.
• W2188452851 cites W2156186849 @default.
• W2188452851 doi "https://doi.org/10.5555/2772879.2773441" @default.
• W2188452851 hasPublicationYear "2015" @default.
• W2188452851 type Work @default.
• W2188452851 sameAs 2188452851 @default.
• W2188452851 citedByCount "3" @default.
• W2188452851 countsByYear W21884528512014 @default.
• W2188452851 countsByYear W21884528512015 @default.
• W2188452851 crossrefType "proceedings-article" @default.
• W2188452851 hasAuthorship W2188452851A5008125820 @default.
• W2188452851 hasAuthorship W2188452851A5032285962 @default.
• W2188452851 hasConcept C102993220 @default.
• W2188452851 hasConcept C107247716 @default.
• W2188452851 hasConcept C110251889 @default.
• W2188452851 hasConcept C111472728 @default.
• W2188452851 hasConcept C11413529 @default.
• W2188452851 hasConcept C138885662 @default.
• W2188452851 hasConcept C160131679 @default.
• W2188452851 hasConcept C161913894 @default.
• W2188452851 hasConcept C17744445 @default.
• W2188452851 hasConcept C178489894 @default.
• W2188452851 hasConcept C184337299 @default.
• W2188452851 hasConcept C199360897 @default.
• W2188452851 hasConcept C199539241 @default.
• W2188452851 hasConcept C203659156 @default.
• W2188452851 hasConcept C26517878 @default.
• W2188452851 hasConcept C2776359362 @default.
• W2188452851 hasConcept C2778732403 @default.
• W2188452851 hasConcept C33884865 @default.
• W2188452851 hasConcept C38652104 @default.
• W2188452851 hasConcept C41008148 @default.
• W2188452851 hasConcept C80444323 @default.
• W2188452851 hasConcept C94625758 @default.
• W2188452851 hasConceptScore W2188452851C102993220 @default.
• W2188452851 hasConceptScore W2188452851C107247716 @default.
• W2188452851 hasConceptScore W2188452851C110251889 @default.
• W2188452851 hasConceptScore W2188452851C111472728 @default.
• W2188452851 hasConceptScore W2188452851C11413529 @default.
• W2188452851 hasConceptScore W2188452851C138885662 @default.
• W2188452851 hasConceptScore W2188452851C160131679 @default.
• W2188452851 hasConceptScore W2188452851C161913894 @default.
• W2188452851 hasConceptScore W2188452851C17744445 @default.
• W2188452851 hasConceptScore W2188452851C178489894 @default.
• W2188452851 hasConceptScore W2188452851C184337299 @default.
• W2188452851 hasConceptScore W2188452851C199360897 @default.
• W2188452851 hasConceptScore W2188452851C199539241 @default.
• W2188452851 hasConceptScore W2188452851C203659156 @default.
• W2188452851 hasConceptScore W2188452851C26517878 @default.
• W2188452851 hasConceptScore W2188452851C2776359362 @default.
• W2188452851 hasConceptScore W2188452851C2778732403 @default.
• W2188452851 hasConceptScore W2188452851C33884865 @default.
• W2188452851 hasConceptScore W2188452851C38652104 @default.
• W2188452851 hasConceptScore W2188452851C41008148 @default.
• W2188452851 hasConceptScore W2188452851C80444323 @default.
• W2188452851 hasConceptScore W2188452851C94625758 @default.
• W2188452851 hasLocation W21884528511 @default.
• W2188452851 hasOpenAccess W2188452851 @default.
• W2188452851 hasPrimaryLocation W21884528511 @default.
• W2188452851 hasRelatedWork W1024627881 @default.
• W2188452851 hasRelatedWork W117052899 @default.
• W2188452851 hasRelatedWork W1505522548 @default.
• W2188452851 hasRelatedWork W1580671553 @default.
• W2188452851 hasRelatedWork W1581458632 @default.
• W2188452851 hasRelatedWork W1586770912 @default.
• W2188452851 hasRelatedWork W2019193016 @default.
• W2188452851 hasRelatedWork W2025891636 @default.
• W2188452851 hasRelatedWork W2035877969 @default.
• W2188452851 hasRelatedWork W2057720008 @default.
• W2188452851 hasRelatedWork W2067797538 @default.
• W2188452851 hasRelatedWork W2120091802 @default.
• W2188452851 hasRelatedWork W2123171822 @default.
• W2188452851 hasRelatedWork W2128717024 @default.
• W2188452851 hasRelatedWork W2151256982 @default.
• W2188452851 hasRelatedWork W2156773905 @default.
• W2188452851 hasRelatedWork W2189133483 @default.
• W2188452851 hasRelatedWork W2247965806 @default.
• W2188452851 hasRelatedWork W2401001010 @default.

• next