Matches in SemOpenAlex for { <https://semopenalex.org/work/W66756909> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W66756909 abstract "We introduce an original method to verify probabilistic properties in cryptographic protocols. This method uses the representation of participants' knowledge that we presented at CRYPTO'91. The modelization is based on the assumption that the underlying cryptographic system is perfect and is an extension of the “Hidden Automorphism Model” introduced by Merritt." @default.
- W66756909 created "2016-06-24" @default.
- W66756909 creator A5019695622 @default.
- W66756909 date "1993-01-01" @default.
- W66756909 modified "2023-09-24" @default.
- W66756909 title "Formal verification of probabilistic properties in cryptographic protocols" @default.
- W66756909 cites W1565386842 @default.
- W66756909 cites W1966995096 @default.
- W66756909 cites W1970606468 @default.
- W66756909 cites W1991004527 @default.
- W66756909 cites W2102922499 @default.
- W66756909 cites W2115674733 @default.
- W66756909 cites W2120600989 @default.
- W66756909 cites W2164284862 @default.
- W66756909 doi "https://doi.org/10.1007/3-540-57332-1_35" @default.
- W66756909 hasPublicationYear "1993" @default.
- W66756909 type Work @default.
- W66756909 sameAs 66756909 @default.
- W66756909 citedByCount "3" @default.
- W66756909 crossrefType "book-chapter" @default.
- W66756909 hasAuthorship W66756909A5019695622 @default.
- W66756909 hasConcept C111498074 @default.
- W66756909 hasConcept C11413529 @default.
- W66756909 hasConcept C154945302 @default.
- W66756909 hasConcept C15927051 @default.
- W66756909 hasConcept C17744445 @default.
- W66756909 hasConcept C178489894 @default.
- W66756909 hasConcept C199360897 @default.
- W66756909 hasConcept C199539241 @default.
- W66756909 hasConcept C2776359362 @default.
- W66756909 hasConcept C2778029271 @default.
- W66756909 hasConcept C33884865 @default.
- W66756909 hasConcept C41008148 @default.
- W66756909 hasConcept C49937458 @default.
- W66756909 hasConcept C80444323 @default.
- W66756909 hasConcept C94625758 @default.
- W66756909 hasConceptScore W66756909C111498074 @default.
- W66756909 hasConceptScore W66756909C11413529 @default.
- W66756909 hasConceptScore W66756909C154945302 @default.
- W66756909 hasConceptScore W66756909C15927051 @default.
- W66756909 hasConceptScore W66756909C17744445 @default.
- W66756909 hasConceptScore W66756909C178489894 @default.
- W66756909 hasConceptScore W66756909C199360897 @default.
- W66756909 hasConceptScore W66756909C199539241 @default.
- W66756909 hasConceptScore W66756909C2776359362 @default.
- W66756909 hasConceptScore W66756909C2778029271 @default.
- W66756909 hasConceptScore W66756909C33884865 @default.
- W66756909 hasConceptScore W66756909C41008148 @default.
- W66756909 hasConceptScore W66756909C49937458 @default.
- W66756909 hasConceptScore W66756909C80444323 @default.
- W66756909 hasConceptScore W66756909C94625758 @default.
- W66756909 hasLocation W667569091 @default.
- W66756909 hasOpenAccess W66756909 @default.
- W66756909 hasPrimaryLocation W667569091 @default.
- W66756909 hasRelatedWork W1512250920 @default.
- W66756909 hasRelatedWork W1579989646 @default.
- W66756909 hasRelatedWork W1853215850 @default.
- W66756909 hasRelatedWork W2027656737 @default.
- W66756909 hasRelatedWork W2074244772 @default.
- W66756909 hasRelatedWork W2118204361 @default.
- W66756909 hasRelatedWork W2151471244 @default.
- W66756909 hasRelatedWork W2169923303 @default.
- W66756909 hasRelatedWork W2351521370 @default.
- W66756909 hasRelatedWork W2360199299 @default.
- W66756909 hasRelatedWork W2369722586 @default.
- W66756909 hasRelatedWork W2374301032 @default.
- W66756909 hasRelatedWork W2534729944 @default.
- W66756909 hasRelatedWork W2578686 @default.
- W66756909 hasRelatedWork W2620991964 @default.
- W66756909 hasRelatedWork W2794806606 @default.
- W66756909 hasRelatedWork W2972606400 @default.
- W66756909 hasRelatedWork W3087163302 @default.
- W66756909 hasRelatedWork W3094700539 @default.
- W66756909 hasRelatedWork W2612924960 @default.
- W66756909 isParatext "false" @default.
- W66756909 isRetracted "false" @default.
- W66756909 magId "66756909" @default.
- W66756909 workType "book-chapter" @default.