Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020961808> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2020961808 abstract "We introduce cryptographic primitives to the symbolic transition graph with the binary equivalence relation based on the CCS language with value-passing processes, which is designed for the description and analysis of security protocols. The STGR with cryptographic primitives, which is an extension of the STG, is applied to partition domains of conversations of security protocols that run in an infinite concurrent way, where principals possessing their relevant keys have received and transformed the message. The cryptographic primitives enable us to consider cryptographic issues on the principal conversations of security protocols in more detail. Our work results in a highly efficient solution to reduce computational complexities to prove safety properties of security protocols." @default.
- W2020961808 created "2016-06-24" @default.
- W2020961808 creator A5004455018 @default.
- W2020961808 date "2014-02-01" @default.
- W2020961808 modified "2023-09-27" @default.
- W2020961808 title "A Calculus for Concurrent Processes with Cryptographic Primitives" @default.
- W2020961808 cites W1987574012 @default.
- W2020961808 cites W2025141978 @default.
- W2020961808 cites W2035991090 @default.
- W2020961808 cites W2104655005 @default.
- W2020961808 cites W2124030056 @default.
- W2020961808 cites W2913663755 @default.
- W2020961808 cites W4294621147 @default.
- W2020961808 doi "https://doi.org/10.4028/www.scientific.net/amm.513-517.3397" @default.
- W2020961808 hasPublicationYear "2014" @default.
- W2020961808 type Work @default.
- W2020961808 sameAs 2020961808 @default.
- W2020961808 citedByCount "0" @default.
- W2020961808 crossrefType "journal-article" @default.
- W2020961808 hasAuthorship W2020961808A5004455018 @default.
- W2020961808 hasConcept C114614502 @default.
- W2020961808 hasConcept C118615104 @default.
- W2020961808 hasConcept C132525143 @default.
- W2020961808 hasConcept C144559511 @default.
- W2020961808 hasConcept C15927051 @default.
- W2020961808 hasConcept C178489894 @default.
- W2020961808 hasConcept C2780069185 @default.
- W2020961808 hasConcept C33884865 @default.
- W2020961808 hasConcept C33923547 @default.
- W2020961808 hasConcept C38652104 @default.
- W2020961808 hasConcept C41008148 @default.
- W2020961808 hasConcept C42812 @default.
- W2020961808 hasConcept C80444323 @default.
- W2020961808 hasConceptScore W2020961808C114614502 @default.
- W2020961808 hasConceptScore W2020961808C118615104 @default.
- W2020961808 hasConceptScore W2020961808C132525143 @default.
- W2020961808 hasConceptScore W2020961808C144559511 @default.
- W2020961808 hasConceptScore W2020961808C15927051 @default.
- W2020961808 hasConceptScore W2020961808C178489894 @default.
- W2020961808 hasConceptScore W2020961808C2780069185 @default.
- W2020961808 hasConceptScore W2020961808C33884865 @default.
- W2020961808 hasConceptScore W2020961808C33923547 @default.
- W2020961808 hasConceptScore W2020961808C38652104 @default.
- W2020961808 hasConceptScore W2020961808C41008148 @default.
- W2020961808 hasConceptScore W2020961808C42812 @default.
- W2020961808 hasConceptScore W2020961808C80444323 @default.
- W2020961808 hasLocation W20209618081 @default.
- W2020961808 hasOpenAccess W2020961808 @default.
- W2020961808 hasPrimaryLocation W20209618081 @default.
- W2020961808 hasRelatedWork W1505578292 @default.
- W2020961808 hasRelatedWork W1554274402 @default.
- W2020961808 hasRelatedWork W1584984507 @default.
- W2020961808 hasRelatedWork W1681051970 @default.
- W2020961808 hasRelatedWork W2023361932 @default.
- W2020961808 hasRelatedWork W2067797538 @default.
- W2020961808 hasRelatedWork W2099537756 @default.
- W2020961808 hasRelatedWork W2113599658 @default.
- W2020961808 hasRelatedWork W2151256982 @default.
- W2020961808 hasRelatedWork W2155993098 @default.
- W2020961808 hasRelatedWork W2159256409 @default.
- W2020961808 hasRelatedWork W2186261151 @default.
- W2020961808 hasRelatedWork W2392968848 @default.
- W2020961808 hasRelatedWork W2400049039 @default.
- W2020961808 hasRelatedWork W2949937073 @default.
- W2020961808 hasRelatedWork W3081313678 @default.
- W2020961808 hasRelatedWork W3101926357 @default.
- W2020961808 hasRelatedWork W3119421530 @default.
- W2020961808 hasRelatedWork W3213139219 @default.
- W2020961808 hasRelatedWork W892286096 @default.
- W2020961808 isParatext "false" @default.
- W2020961808 isRetracted "false" @default.
- W2020961808 magId "2020961808" @default.
- W2020961808 workType "article" @default.