Matches in SemOpenAlex for { <https://semopenalex.org/work/W2364296051> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2364296051 abstract "Provable security is a formal method which ensures the security of public-key cryptosystems through rigorous proof.However,there is doubt on its reliability since the conclusions depend heavily on the experiences and skills of the method practitioner.In this paper an automatic security proving system for public-key cryptosystems is presented.The system uses a probabilistic polynomial-time process calculus to describe the provable security model,and performs automatic game-based proof according to the bi-simulation equivalence and reduction on process.The system has been implemented in C language and tested on a number of examples including Elgamal encryption and FDH signature scheme." @default.
- W2364296051 created "2016-06-24" @default.
- W2364296051 creator A5087587357 @default.
- W2364296051 date "2012-01-01" @default.
- W2364296051 modified "2023-09-23" @default.
- W2364296051 title "Automatic Security Proving System for Public-Key Cryptosystems Based on Process Calculus" @default.
- W2364296051 hasPublicationYear "2012" @default.
- W2364296051 type Work @default.
- W2364296051 sameAs 2364296051 @default.
- W2364296051 citedByCount "0" @default.
- W2364296051 crossrefType "journal-article" @default.
- W2364296051 hasAuthorship W2364296051A5087587357 @default.
- W2364296051 hasConcept C11045955 @default.
- W2364296051 hasConcept C118615104 @default.
- W2364296051 hasConcept C131672422 @default.
- W2364296051 hasConcept C147343967 @default.
- W2364296051 hasConcept C148730421 @default.
- W2364296051 hasConcept C154945302 @default.
- W2364296051 hasConcept C161771561 @default.
- W2364296051 hasConcept C199360897 @default.
- W2364296051 hasConcept C203062551 @default.
- W2364296051 hasConcept C26517878 @default.
- W2364296051 hasConcept C2780069185 @default.
- W2364296051 hasConcept C33923547 @default.
- W2364296051 hasConcept C38652104 @default.
- W2364296051 hasConcept C41008148 @default.
- W2364296051 hasConcept C49937458 @default.
- W2364296051 hasConcept C6295992 @default.
- W2364296051 hasConcept C80444323 @default.
- W2364296051 hasConcept C98045186 @default.
- W2364296051 hasConceptScore W2364296051C11045955 @default.
- W2364296051 hasConceptScore W2364296051C118615104 @default.
- W2364296051 hasConceptScore W2364296051C131672422 @default.
- W2364296051 hasConceptScore W2364296051C147343967 @default.
- W2364296051 hasConceptScore W2364296051C148730421 @default.
- W2364296051 hasConceptScore W2364296051C154945302 @default.
- W2364296051 hasConceptScore W2364296051C161771561 @default.
- W2364296051 hasConceptScore W2364296051C199360897 @default.
- W2364296051 hasConceptScore W2364296051C203062551 @default.
- W2364296051 hasConceptScore W2364296051C26517878 @default.
- W2364296051 hasConceptScore W2364296051C2780069185 @default.
- W2364296051 hasConceptScore W2364296051C33923547 @default.
- W2364296051 hasConceptScore W2364296051C38652104 @default.
- W2364296051 hasConceptScore W2364296051C41008148 @default.
- W2364296051 hasConceptScore W2364296051C49937458 @default.
- W2364296051 hasConceptScore W2364296051C6295992 @default.
- W2364296051 hasConceptScore W2364296051C80444323 @default.
- W2364296051 hasConceptScore W2364296051C98045186 @default.
- W2364296051 hasLocation W23642960511 @default.
- W2364296051 hasOpenAccess W2364296051 @default.
- W2364296051 hasPrimaryLocation W23642960511 @default.
- W2364296051 hasRelatedWork W118984323 @default.
- W2364296051 hasRelatedWork W1538419290 @default.
- W2364296051 hasRelatedWork W179514658 @default.
- W2364296051 hasRelatedWork W1805869620 @default.
- W2364296051 hasRelatedWork W194467232 @default.
- W2364296051 hasRelatedWork W1968715010 @default.
- W2364296051 hasRelatedWork W1979576417 @default.
- W2364296051 hasRelatedWork W1987581799 @default.
- W2364296051 hasRelatedWork W2015340470 @default.
- W2364296051 hasRelatedWork W2071736974 @default.
- W2364296051 hasRelatedWork W2080143965 @default.
- W2364296051 hasRelatedWork W2089894130 @default.
- W2364296051 hasRelatedWork W2097924903 @default.
- W2364296051 hasRelatedWork W2110142351 @default.
- W2364296051 hasRelatedWork W2111863411 @default.
- W2364296051 hasRelatedWork W2126267504 @default.
- W2364296051 hasRelatedWork W2162571320 @default.
- W2364296051 hasRelatedWork W2282867171 @default.
- W2364296051 hasRelatedWork W2809380763 @default.
- W2364296051 hasRelatedWork W2810722548 @default.
- W2364296051 isParatext "false" @default.
- W2364296051 isRetracted "false" @default.
- W2364296051 magId "2364296051" @default.
- W2364296051 workType "article" @default.