Matches in SemOpenAlex for { <https://semopenalex.org/work/W2393663211> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2393663211 abstract "Based on the Abadi-Rowgaway computational soundness theorem of formal encryption,this paper proposes and proves our computational soundness theorem of formal analysis of cryptographic protocols.Through the analysis for group key distribution protocols,our soundness theorem is stronger and powerful in adaptive attacks.This paper proposes formal definitions of security for group key distribution protocols both in the formal methods and the computational methods,then proves soundness of the formal definition." @default.
- W2393663211 created "2016-06-24" @default.
- W2393663211 creator A5063550512 @default.
- W2393663211 creator A5069014785 @default.
- W2393663211 date "2007-01-01" @default.
- W2393663211 modified "2023-10-17" @default.
- W2393663211 title "Computational soundness of formal analysis of cryptographic protocols" @default.
- W2393663211 hasPublicationYear "2007" @default.
- W2393663211 type Work @default.
- W2393663211 sameAs 2393663211 @default.
- W2393663211 citedByCount "0" @default.
- W2393663211 crossrefType "journal-article" @default.
- W2393663211 hasAuthorship W2393663211A5063550512 @default.
- W2393663211 hasAuthorship W2393663211A5069014785 @default.
- W2393663211 hasConcept C148730421 @default.
- W2393663211 hasConcept C178489894 @default.
- W2393663211 hasConcept C199360897 @default.
- W2393663211 hasConcept C26517878 @default.
- W2393663211 hasConcept C33884865 @default.
- W2393663211 hasConcept C38652104 @default.
- W2393663211 hasConcept C39920170 @default.
- W2393663211 hasConcept C41008148 @default.
- W2393663211 hasConcept C80444323 @default.
- W2393663211 hasConceptScore W2393663211C148730421 @default.
- W2393663211 hasConceptScore W2393663211C178489894 @default.
- W2393663211 hasConceptScore W2393663211C199360897 @default.
- W2393663211 hasConceptScore W2393663211C26517878 @default.
- W2393663211 hasConceptScore W2393663211C33884865 @default.
- W2393663211 hasConceptScore W2393663211C38652104 @default.
- W2393663211 hasConceptScore W2393663211C39920170 @default.
- W2393663211 hasConceptScore W2393663211C41008148 @default.
- W2393663211 hasConceptScore W2393663211C80444323 @default.
- W2393663211 hasLocation W23936632111 @default.
- W2393663211 hasOpenAccess W2393663211 @default.
- W2393663211 hasPrimaryLocation W23936632111 @default.
- W2393663211 hasRelatedWork W1492593877 @default.
- W2393663211 hasRelatedWork W153387283 @default.
- W2393663211 hasRelatedWork W1538419290 @default.
- W2393663211 hasRelatedWork W1580671553 @default.
- W2393663211 hasRelatedWork W1606767675 @default.
- W2393663211 hasRelatedWork W2055665937 @default.
- W2393663211 hasRelatedWork W2063161063 @default.
- W2393663211 hasRelatedWork W2097924903 @default.
- W2393663211 hasRelatedWork W2124076185 @default.
- W2393663211 hasRelatedWork W2149302272 @default.
- W2393663211 hasRelatedWork W2152542375 @default.
- W2393663211 hasRelatedWork W2166139242 @default.
- W2393663211 hasRelatedWork W2264667761 @default.
- W2393663211 hasRelatedWork W2282447450 @default.
- W2393663211 hasRelatedWork W2375873335 @default.
- W2393663211 hasRelatedWork W2390002876 @default.
- W2393663211 hasRelatedWork W2614608017 @default.
- W2393663211 hasRelatedWork W3006758274 @default.
- W2393663211 hasRelatedWork W3152857967 @default.
- W2393663211 hasRelatedWork W2116206854 @default.
- W2393663211 isParatext "false" @default.
- W2393663211 isRetracted "false" @default.
- W2393663211 magId "2393663211" @default.
- W2393663211 workType "article" @default.