Matches in SemOpenAlex for { <https://semopenalex.org/work/W3109513538> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3109513538 abstract "A cryptographic protocol (CP) is a distributed algorithm designed to provide a secure communication in an insecure environment. CPs are used, for example, in electronic payments, electronic voting procedures, database access systems, etc. Errors in the CPs can lead to great financial and social damage, therefore it is necessary to use mathematical methods to justify the correctness and safety of the CPs. In this paper, a new mathematical model of a CP is introduced, which allows one to describe both the CPs and their properties. It is shown how, on the base of this model, it is possible to solve the problems of verification of CPs." @default.
- W3109513538 created "2020-12-07" @default.
- W3109513538 creator A5037650077 @default.
- W3109513538 date "2020-11-24" @default.
- W3109513538 modified "2023-09-27" @default.
- W3109513538 title "New method of verifying cryptographic protocols based on the process model" @default.
- W3109513538 cites W1538016627 @default.
- W3109513538 cites W170425430 @default.
- W3109513538 cites W1991354622 @default.
- W3109513538 cites W1994676271 @default.
- W3109513538 cites W2001788001 @default.
- W3109513538 cites W2010939995 @default.
- W3109513538 cites W2016142193 @default.
- W3109513538 cites W2044073799 @default.
- W3109513538 cites W2073385346 @default.
- W3109513538 cites W2097913369 @default.
- W3109513538 cites W2104655005 @default.
- W3109513538 cites W2105237010 @default.
- W3109513538 cites W2105750191 @default.
- W3109513538 cites W2111477637 @default.
- W3109513538 cites W2114189125 @default.
- W3109513538 cites W2124030056 @default.
- W3109513538 cites W2130899669 @default.
- W3109513538 cites W2135378536 @default.
- W3109513538 cites W2146973388 @default.
- W3109513538 cites W2151461610 @default.
- W3109513538 cites W2152744480 @default.
- W3109513538 cites W2163795263 @default.
- W3109513538 cites W2169216703 @default.
- W3109513538 cites W2242102996 @default.
- W3109513538 cites W2339045958 @default.
- W3109513538 cites W2522035104 @default.
- W3109513538 cites W3013607954 @default.
- W3109513538 cites W3125672686 @default.
- W3109513538 doi "https://doi.org/10.48550/arxiv.2011.12040" @default.
- W3109513538 hasPublicationYear "2020" @default.
- W3109513538 type Work @default.
- W3109513538 sameAs 3109513538 @default.
- W3109513538 citedByCount "0" @default.
- W3109513538 crossrefType "posted-content" @default.
- W3109513538 hasAuthorship W3109513538A5037650077 @default.
- W3109513538 hasBestOaLocation W31095135381 @default.
- W3109513538 hasConcept C11413529 @default.
- W3109513538 hasConcept C120314980 @default.
- W3109513538 hasConcept C142724271 @default.
- W3109513538 hasConcept C17744445 @default.
- W3109513538 hasConcept C178489894 @default.
- W3109513538 hasConcept C199360897 @default.
- W3109513538 hasConcept C199539241 @default.
- W3109513538 hasConcept C204787440 @default.
- W3109513538 hasConcept C2780385302 @default.
- W3109513538 hasConcept C2780612046 @default.
- W3109513538 hasConcept C33884865 @default.
- W3109513538 hasConcept C38652104 @default.
- W3109513538 hasConcept C41008148 @default.
- W3109513538 hasConcept C520049643 @default.
- W3109513538 hasConcept C55439883 @default.
- W3109513538 hasConcept C71924100 @default.
- W3109513538 hasConcept C80444323 @default.
- W3109513538 hasConcept C94625758 @default.
- W3109513538 hasConcept C98045186 @default.
- W3109513538 hasConceptScore W3109513538C11413529 @default.
- W3109513538 hasConceptScore W3109513538C120314980 @default.
- W3109513538 hasConceptScore W3109513538C142724271 @default.
- W3109513538 hasConceptScore W3109513538C17744445 @default.
- W3109513538 hasConceptScore W3109513538C178489894 @default.
- W3109513538 hasConceptScore W3109513538C199360897 @default.
- W3109513538 hasConceptScore W3109513538C199539241 @default.
- W3109513538 hasConceptScore W3109513538C204787440 @default.
- W3109513538 hasConceptScore W3109513538C2780385302 @default.
- W3109513538 hasConceptScore W3109513538C2780612046 @default.
- W3109513538 hasConceptScore W3109513538C33884865 @default.
- W3109513538 hasConceptScore W3109513538C38652104 @default.
- W3109513538 hasConceptScore W3109513538C41008148 @default.
- W3109513538 hasConceptScore W3109513538C520049643 @default.
- W3109513538 hasConceptScore W3109513538C55439883 @default.
- W3109513538 hasConceptScore W3109513538C71924100 @default.
- W3109513538 hasConceptScore W3109513538C80444323 @default.
- W3109513538 hasConceptScore W3109513538C94625758 @default.
- W3109513538 hasConceptScore W3109513538C98045186 @default.
- W3109513538 hasLocation W31095135381 @default.
- W3109513538 hasOpenAccess W3109513538 @default.
- W3109513538 hasPrimaryLocation W31095135381 @default.
- W3109513538 hasRelatedWork W1024627881 @default.
- W3109513538 hasRelatedWork W120743831 @default.
- W3109513538 hasRelatedWork W1550909849 @default.
- W3109513538 hasRelatedWork W1563545523 @default.
- W3109513538 hasRelatedWork W1588492604 @default.
- W3109513538 hasRelatedWork W212159086 @default.
- W3109513538 hasRelatedWork W2740348784 @default.
- W3109513538 hasRelatedWork W3114359748 @default.
- W3109513538 hasRelatedWork W4286698075 @default.
- W3109513538 hasRelatedWork W2148073731 @default.
- W3109513538 isParatext "false" @default.
- W3109513538 isRetracted "false" @default.
- W3109513538 magId "3109513538" @default.
- W3109513538 workType "article" @default.