Matches in SemOpenAlex for { <https://semopenalex.org/work/W3190759692> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3190759692 abstract "We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As a proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the security properties that they do satisfy, and disprove those that they do not. We also consider a version of the Muddy Children puzzle, where children’s trust and noise are taken into account." @default.
- W3190759692 created "2021-08-16" @default.
- W3190759692 creator A5061638693 @default.
- W3190759692 date "2021-01-01" @default.
- W3190759692 modified "2023-10-14" @default.
- W3190759692 title "Probabilistic Annotations for Protocol Models" @default.
- W3190759692 cites W1566084892 @default.
- W3190759692 cites W1579976528 @default.
- W3190759692 cites W1597908183 @default.
- W3190759692 cites W1788426126 @default.
- W3190759692 cites W1872297260 @default.
- W3190759692 cites W18814837 @default.
- W3190759692 cites W2027471022 @default.
- W3190759692 cites W2029693536 @default.
- W3190759692 cites W2044073799 @default.
- W3190759692 cites W2058979853 @default.
- W3190759692 cites W2104655005 @default.
- W3190759692 cites W2156773905 @default.
- W3190759692 cites W44769187 @default.
- W3190759692 doi "https://doi.org/10.1007/978-3-030-91631-2_18" @default.
- W3190759692 hasPublicationYear "2021" @default.
- W3190759692 type Work @default.
- W3190759692 sameAs 3190759692 @default.
- W3190759692 citedByCount "0" @default.
- W3190759692 crossrefType "book-chapter" @default.
- W3190759692 hasAuthorship W3190759692A5061638693 @default.
- W3190759692 hasBestOaLocation W31907596922 @default.
- W3190759692 hasConcept C104949639 @default.
- W3190759692 hasConcept C142724271 @default.
- W3190759692 hasConcept C154945302 @default.
- W3190759692 hasConcept C178489894 @default.
- W3190759692 hasConcept C199360897 @default.
- W3190759692 hasConcept C204787440 @default.
- W3190759692 hasConcept C2780385302 @default.
- W3190759692 hasConcept C33884865 @default.
- W3190759692 hasConcept C38652104 @default.
- W3190759692 hasConcept C41008148 @default.
- W3190759692 hasConcept C49937458 @default.
- W3190759692 hasConcept C55439883 @default.
- W3190759692 hasConcept C6295992 @default.
- W3190759692 hasConcept C71924100 @default.
- W3190759692 hasConcept C80444323 @default.
- W3190759692 hasConceptScore W3190759692C104949639 @default.
- W3190759692 hasConceptScore W3190759692C142724271 @default.
- W3190759692 hasConceptScore W3190759692C154945302 @default.
- W3190759692 hasConceptScore W3190759692C178489894 @default.
- W3190759692 hasConceptScore W3190759692C199360897 @default.
- W3190759692 hasConceptScore W3190759692C204787440 @default.
- W3190759692 hasConceptScore W3190759692C2780385302 @default.
- W3190759692 hasConceptScore W3190759692C33884865 @default.
- W3190759692 hasConceptScore W3190759692C38652104 @default.
- W3190759692 hasConceptScore W3190759692C41008148 @default.
- W3190759692 hasConceptScore W3190759692C49937458 @default.
- W3190759692 hasConceptScore W3190759692C55439883 @default.
- W3190759692 hasConceptScore W3190759692C6295992 @default.
- W3190759692 hasConceptScore W3190759692C71924100 @default.
- W3190759692 hasConceptScore W3190759692C80444323 @default.
- W3190759692 hasLocation W31907596921 @default.
- W3190759692 hasLocation W31907596922 @default.
- W3190759692 hasOpenAccess W3190759692 @default.
- W3190759692 hasPrimaryLocation W31907596921 @default.
- W3190759692 hasRelatedWork W1118510 @default.
- W3190759692 hasRelatedWork W11539944 @default.
- W3190759692 hasRelatedWork W11567055 @default.
- W3190759692 hasRelatedWork W13025776 @default.
- W3190759692 hasRelatedWork W2578686 @default.
- W3190759692 hasRelatedWork W3105912 @default.
- W3190759692 hasRelatedWork W5294680 @default.
- W3190759692 hasRelatedWork W9022780 @default.
- W3190759692 hasRelatedWork W9326323 @default.
- W3190759692 hasRelatedWork W13154674 @default.
- W3190759692 isParatext "false" @default.
- W3190759692 isRetracted "false" @default.
- W3190759692 magId "3190759692" @default.
- W3190759692 workType "book-chapter" @default.