FRINK Linked Data Fragments server

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

• W2146687400 abstract "As zero-knowledge proof plays a more and more important role in modern cryptography, the need for formal analysis becomes more urgent. In this paper, we make use of formal methods to establish a zero-knowledge result. The formal model is probabilistic applied pi and the zero-knowledge proof is Hamiltonian cycle. By this example, our preliminary work shows how zero-knowledge can be modeled in formal models such as process calculi and how to establish a zero-knowledge proof by checking equivalence in the model." @default.
• W2146687400 created "2016-06-24" @default.
• W2146687400 creator A5034318497 @default.
• W2146687400 creator A5034909747 @default.
• W2146687400 creator A5061829162 @default.
• W2146687400 date "2008-12-01" @default.
• W2146687400 modified "2023-09-27" @default.
• W2146687400 title "Probabilistic Applied Pi Calculus and Zero Knowledge" @default.
• W2146687400 cites W1491591043 @default.
• W2146687400 cites W1547554933 @default.
• W2146687400 cites W1548880861 @default.
• W2146687400 cites W1604195593 @default.
• W2146687400 cites W1972478730 @default.
• W2146687400 cites W1973054120 @default.
• W2146687400 cites W1994676271 @default.
• W2146687400 cites W2011112377 @default.
• W2146687400 cites W2016142193 @default.
• W2146687400 cites W2110425399 @default.
• W2146687400 cites W2137865376 @default.
• W2146687400 cites W2144752539 @default.
• W2146687400 cites W2156312287 @default.
• W2146687400 cites W2340102009 @default.
• W2146687400 cites W2912003593 @default.
• W2146687400 cites W2912565202 @default.
• W2146687400 cites W3013607954 @default.
• W2146687400 cites W3144368627 @default.
• W2146687400 doi "https://doi.org/10.1109/isbim.2008.260" @default.
• W2146687400 hasPublicationYear "2008" @default.
• W2146687400 type Work @default.
• W2146687400 sameAs 2146687400 @default.
• W2146687400 citedByCount "0" @default.
• W2146687400 crossrefType "proceedings-article" @default.
• W2146687400 hasAuthorship W2146687400A5034318497 @default.
• W2146687400 hasAuthorship W2146687400A5034909747 @default.
• W2146687400 hasAuthorship W2146687400A5061829162 @default.
• W2146687400 hasConcept C108710211 @default.
• W2146687400 hasConcept C11413529 @default.
• W2146687400 hasConcept C118615104 @default.
• W2146687400 hasConcept C138885662 @default.
• W2146687400 hasConcept C154945302 @default.
• W2146687400 hasConcept C176329583 @default.
• W2146687400 hasConcept C178489894 @default.
• W2146687400 hasConcept C199343813 @default.
• W2146687400 hasConcept C199360897 @default.
• W2146687400 hasConcept C2524010 @default.
• W2146687400 hasConcept C2777686260 @default.
• W2146687400 hasConcept C2780069185 @default.
• W2146687400 hasConcept C2780813799 @default.
• W2146687400 hasConcept C33923547 @default.
• W2146687400 hasConcept C41008148 @default.
• W2146687400 hasConcept C41895202 @default.
• W2146687400 hasConcept C49937458 @default.
• W2146687400 hasConcept C71924100 @default.
• W2146687400 hasConcept C75606506 @default.
• W2146687400 hasConcept C80444323 @default.
• W2146687400 hasConcept C94461902 @default.
• W2146687400 hasConceptScore W2146687400C108710211 @default.
• W2146687400 hasConceptScore W2146687400C11413529 @default.
• W2146687400 hasConceptScore W2146687400C118615104 @default.
• W2146687400 hasConceptScore W2146687400C138885662 @default.
• W2146687400 hasConceptScore W2146687400C154945302 @default.
• W2146687400 hasConceptScore W2146687400C176329583 @default.
• W2146687400 hasConceptScore W2146687400C178489894 @default.
• W2146687400 hasConceptScore W2146687400C199343813 @default.
• W2146687400 hasConceptScore W2146687400C199360897 @default.
• W2146687400 hasConceptScore W2146687400C2524010 @default.
• W2146687400 hasConceptScore W2146687400C2777686260 @default.
• W2146687400 hasConceptScore W2146687400C2780069185 @default.
• W2146687400 hasConceptScore W2146687400C2780813799 @default.
• W2146687400 hasConceptScore W2146687400C33923547 @default.
• W2146687400 hasConceptScore W2146687400C41008148 @default.
• W2146687400 hasConceptScore W2146687400C41895202 @default.
• W2146687400 hasConceptScore W2146687400C49937458 @default.
• W2146687400 hasConceptScore W2146687400C71924100 @default.
• W2146687400 hasConceptScore W2146687400C75606506 @default.
• W2146687400 hasConceptScore W2146687400C80444323 @default.
• W2146687400 hasConceptScore W2146687400C94461902 @default.
• W2146687400 hasLocation W21466874001 @default.
• W2146687400 hasOpenAccess W2146687400 @default.
• W2146687400 hasPrimaryLocation W21466874001 @default.
• W2146687400 hasRelatedWork W100889298 @default.
• W2146687400 hasRelatedWork W1501686914 @default.
• W2146687400 hasRelatedWork W1510484179 @default.
• W2146687400 hasRelatedWork W1510772695 @default.
• W2146687400 hasRelatedWork W1850909982 @default.
• W2146687400 hasRelatedWork W1871213645 @default.
• W2146687400 hasRelatedWork W1903646270 @default.
• W2146687400 hasRelatedWork W1979215153 @default.
• W2146687400 hasRelatedWork W1991537775 @default.
• W2146687400 hasRelatedWork W1999537009 @default.
• W2146687400 hasRelatedWork W2059584710 @default.
• W2146687400 hasRelatedWork W2522035104 @default.
• W2146687400 hasRelatedWork W2544785648 @default.
• W2146687400 hasRelatedWork W2971407054 @default.
• W2146687400 hasRelatedWork W3116788949 @default.
• W2146687400 hasRelatedWork W3126077699 @default.
• W2146687400 hasRelatedWork W75812824 @default.
• W2146687400 hasRelatedWork W768959333 @default.
• W2146687400 hasRelatedWork W80817093 @default.
• W2146687400 hasRelatedWork W89828691 @default.

• next