Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989724018> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2989724018 abstract "The development of electronic voting systems is a complex and urgent task in today's time. At the heart of the security of any system using network interaction are cryptographic protocols. Their quality is verified by means of formal verification. However, formal verification tools work with protocols in an abstract form of Alice-Bob format, which does not allow to completely check the protocol for all sorts of attacks. In addition, when implementing the protocol in practice using any programming language, it is possible to change this protocol relative to its original form. As a result, the abstract initial form of the protocol, which was verified by means of formal verification, is considered safe, but a modified implemented protocol that has a different type can no longer be recognized as safe. Thus, verification of the cryptographic protocol of the electronic voting system using source codes is relevant. The paper described an electronic voting system based on blind intermediaries. A parser is described to extract the structure of the cryptographic protocol with which the structure of the voting protocol was obtained. The cryptographic e-voting protocol was translated into the CAS+ specification language for the Avispa automated verifier for protocol security verification." @default.
- W2989724018 created "2019-12-05" @default.
- W2989724018 creator A5037382667 @default.
- W2989724018 creator A5050931441 @default.
- W2989724018 creator A5086564294 @default.
- W2989724018 date "2019-09-12" @default.
- W2989724018 modified "2023-09-26" @default.
- W2989724018 title "Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries" @default.
- W2989724018 cites W1991234099 @default.
- W2989724018 cites W2047924754 @default.
- W2989724018 cites W2072210640 @default.
- W2989724018 cites W2104578611 @default.
- W2989724018 cites W2131789459 @default.
- W2989724018 cites W2897059649 @default.
- W2989724018 doi "https://doi.org/10.1145/3357613.3357641" @default.
- W2989724018 hasPublicationYear "2019" @default.
- W2989724018 type Work @default.
- W2989724018 sameAs 2989724018 @default.
- W2989724018 citedByCount "0" @default.
- W2989724018 crossrefType "proceedings-article" @default.
- W2989724018 hasAuthorship W2989724018A5037382667 @default.
- W2989724018 hasAuthorship W2989724018A5050931441 @default.
- W2989724018 hasAuthorship W2989724018A5086564294 @default.
- W2989724018 hasConcept C139569457 @default.
- W2989724018 hasConcept C144133560 @default.
- W2989724018 hasConcept C15927051 @default.
- W2989724018 hasConcept C162853370 @default.
- W2989724018 hasConcept C17744445 @default.
- W2989724018 hasConcept C178489894 @default.
- W2989724018 hasConcept C199539241 @default.
- W2989724018 hasConcept C2780612046 @default.
- W2989724018 hasConcept C31258907 @default.
- W2989724018 hasConcept C33884865 @default.
- W2989724018 hasConcept C38652104 @default.
- W2989724018 hasConcept C41008148 @default.
- W2989724018 hasConcept C520049643 @default.
- W2989724018 hasConcept C94625758 @default.
- W2989724018 hasConceptScore W2989724018C139569457 @default.
- W2989724018 hasConceptScore W2989724018C144133560 @default.
- W2989724018 hasConceptScore W2989724018C15927051 @default.
- W2989724018 hasConceptScore W2989724018C162853370 @default.
- W2989724018 hasConceptScore W2989724018C17744445 @default.
- W2989724018 hasConceptScore W2989724018C178489894 @default.
- W2989724018 hasConceptScore W2989724018C199539241 @default.
- W2989724018 hasConceptScore W2989724018C2780612046 @default.
- W2989724018 hasConceptScore W2989724018C31258907 @default.
- W2989724018 hasConceptScore W2989724018C33884865 @default.
- W2989724018 hasConceptScore W2989724018C38652104 @default.
- W2989724018 hasConceptScore W2989724018C41008148 @default.
- W2989724018 hasConceptScore W2989724018C520049643 @default.
- W2989724018 hasConceptScore W2989724018C94625758 @default.
- W2989724018 hasLocation W29897240181 @default.
- W2989724018 hasOpenAccess W2989724018 @default.
- W2989724018 hasPrimaryLocation W29897240181 @default.
- W2989724018 hasRelatedWork W1533109710 @default.
- W2989724018 hasRelatedWork W1569365057 @default.
- W2989724018 hasRelatedWork W180758165 @default.
- W2989724018 hasRelatedWork W2151232226 @default.
- W2989724018 hasRelatedWork W2559815877 @default.
- W2989724018 hasRelatedWork W2740348784 @default.
- W2989724018 hasRelatedWork W2997649880 @default.
- W2989724018 hasRelatedWork W2998799569 @default.
- W2989724018 hasRelatedWork W3029753489 @default.
- W2989724018 hasRelatedWork W3049088603 @default.
- W2989724018 isParatext "false" @default.
- W2989724018 isRetracted "false" @default.
- W2989724018 magId "2989724018" @default.
- W2989724018 workType "article" @default.