Matches in SemOpenAlex for { <https://semopenalex.org/work/W84891240> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W84891240 abstract "Formal logics of knowledge have been employed for the verification of cryptographic protocols. Intuitively, the idea is that a correct run of a protocol should lead the participating agents to “know” some facts, due to the structure of the protocol. While there has been a great deal of work in this area, fundamental questions remain regarding the foundations of the approach. In fact, it is not even clear if any intrinsic properties of knowledge are actually required; in most cases the relevant notion of knowledge reduces directly to universal quantification over protocol runs. Moreover, there is no consensus about the appropriate epistemic domain for protocol participants, the nature of epistemic change, or the significance of initial knowledge. In this paper, we address these fundamental questions by revisiting the epistemic foundations of protocol verification." @default.
- W84891240 created "2016-06-24" @default.
- W84891240 creator A5059954778 @default.
- W84891240 date "2013-01-01" @default.
- W84891240 modified "2023-09-27" @default.
- W84891240 title "Revisiting the Epistemics of Protocol Correctness" @default.
- W84891240 cites W1488945699 @default.
- W84891240 cites W1603878273 @default.
- W84891240 cites W181873887 @default.
- W84891240 cites W1834151623 @default.
- W84891240 cites W2010939995 @default.
- W84891240 cites W2016402420 @default.
- W84891240 cites W2029693536 @default.
- W84891240 cites W2049129243 @default.
- W84891240 cites W2102922499 @default.
- W84891240 cites W2108854243 @default.
- W84891240 cites W2121413840 @default.
- W84891240 doi "https://doi.org/10.1007/978-3-642-38457-8_24" @default.
- W84891240 hasPublicationYear "2013" @default.
- W84891240 type Work @default.
- W84891240 sameAs 84891240 @default.
- W84891240 citedByCount "1" @default.
- W84891240 countsByYear W848912402016 @default.
- W84891240 crossrefType "book-chapter" @default.
- W84891240 hasAuthorship W84891240A5059954778 @default.
- W84891240 hasConcept C102993220 @default.
- W84891240 hasConcept C107247716 @default.
- W84891240 hasConcept C11413529 @default.
- W84891240 hasConcept C142724271 @default.
- W84891240 hasConcept C178489894 @default.
- W84891240 hasConcept C203659156 @default.
- W84891240 hasConcept C204787440 @default.
- W84891240 hasConcept C2780385302 @default.
- W84891240 hasConcept C33884865 @default.
- W84891240 hasConcept C38652104 @default.
- W84891240 hasConcept C41008148 @default.
- W84891240 hasConcept C55439883 @default.
- W84891240 hasConcept C71924100 @default.
- W84891240 hasConcept C80444323 @default.
- W84891240 hasConceptScore W84891240C102993220 @default.
- W84891240 hasConceptScore W84891240C107247716 @default.
- W84891240 hasConceptScore W84891240C11413529 @default.
- W84891240 hasConceptScore W84891240C142724271 @default.
- W84891240 hasConceptScore W84891240C178489894 @default.
- W84891240 hasConceptScore W84891240C203659156 @default.
- W84891240 hasConceptScore W84891240C204787440 @default.
- W84891240 hasConceptScore W84891240C2780385302 @default.
- W84891240 hasConceptScore W84891240C33884865 @default.
- W84891240 hasConceptScore W84891240C38652104 @default.
- W84891240 hasConceptScore W84891240C41008148 @default.
- W84891240 hasConceptScore W84891240C55439883 @default.
- W84891240 hasConceptScore W84891240C71924100 @default.
- W84891240 hasConceptScore W84891240C80444323 @default.
- W84891240 hasLocation W848912401 @default.
- W84891240 hasOpenAccess W84891240 @default.
- W84891240 hasPrimaryLocation W848912401 @default.
- W84891240 hasRelatedWork W1024627881 @default.
- W84891240 hasRelatedWork W118637762 @default.
- W84891240 hasRelatedWork W1506386745 @default.
- W84891240 hasRelatedWork W1518451279 @default.
- W84891240 hasRelatedWork W1548945677 @default.
- W84891240 hasRelatedWork W1834151623 @default.
- W84891240 hasRelatedWork W2021986315 @default.
- W84891240 hasRelatedWork W2024770257 @default.
- W84891240 hasRelatedWork W2030664040 @default.
- W84891240 hasRelatedWork W2046551143 @default.
- W84891240 hasRelatedWork W2085299005 @default.
- W84891240 hasRelatedWork W2105476775 @default.
- W84891240 hasRelatedWork W2120091802 @default.
- W84891240 hasRelatedWork W2227701282 @default.
- W84891240 hasRelatedWork W2278042544 @default.
- W84891240 hasRelatedWork W2402593757 @default.
- W84891240 hasRelatedWork W2551889992 @default.
- W84891240 hasRelatedWork W2729115032 @default.
- W84891240 hasRelatedWork W319821581 @default.
- W84891240 hasRelatedWork W44525949 @default.
- W84891240 isParatext "false" @default.
- W84891240 isRetracted "false" @default.
- W84891240 magId "84891240" @default.
- W84891240 workType "book-chapter" @default.