Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285331347> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4285331347 abstract "The ability of the voting system to protect voter votes until the end of the process can increase public confidence in the voting system. The verifiability aspect allows several parties to ensure that there is no change in the vote of the voters, thereby increasing trust in voting technology. To get to the concept of the proposed system of e-voting, an analysis e-voting needs has been carried out and the stage of the protocol model design analysis for verifiability needs. Some parties involved in meeting the needs of verifiability are Voters, Officers, Witnesses or KPU (Commission of General Election), where some parties can verify the votes of voters before, during, after, and after the vote count in election. In fulfilling the verifiability needs of this e-voting system, traditional simulation modeling and voting testing have been carried out as a comparison with modeling simulations and testing of e-voting protocols. Before modeling simulation and protocol testing, formal notation writing was carried out in the form of Communicating Sequential Processes (CSP) notation. Protocol testing will be carried out with formal verification, which proves that protocol specifications are in accordance with the integrity properties that have been defined previously. The verification tool used is based on reference modeling, which can analyze the specifications logical consistency, and verified properties reports, namely SPIN (Simple Promela Interpreter). The verified system used PROMELA language (MEta LAnguage process) which is translated from CSP formal notation." @default.
- W4285331347 created "2022-07-14" @default.
- W4285331347 creator A5042905173 @default.
- W4285331347 creator A5075083097 @default.
- W4285331347 creator A5083481609 @default.
- W4285331347 date "2021-11-18" @default.
- W4285331347 modified "2023-09-26" @default.
- W4285331347 title "e-Voting Protocol Modelling To Improve Verifiability Requirements" @default.
- W4285331347 doi "https://doi.org/10.1109/tssa52866.2021.9768253" @default.
- W4285331347 hasPublicationYear "2021" @default.
- W4285331347 type Work @default.
- W4285331347 citedByCount "0" @default.
- W4285331347 crossrefType "proceedings-article" @default.
- W4285331347 hasAuthorship W4285331347A5042905173 @default.
- W4285331347 hasAuthorship W4285331347A5075083097 @default.
- W4285331347 hasAuthorship W4285331347A5083481609 @default.
- W4285331347 hasConcept C110251889 @default.
- W4285331347 hasConcept C115903868 @default.
- W4285331347 hasConcept C142724271 @default.
- W4285331347 hasConcept C154945302 @default.
- W4285331347 hasConcept C17744445 @default.
- W4285331347 hasConcept C199360897 @default.
- W4285331347 hasConcept C199539241 @default.
- W4285331347 hasConcept C204787440 @default.
- W4285331347 hasConcept C2776329536 @default.
- W4285331347 hasConcept C2776436953 @default.
- W4285331347 hasConcept C2780385302 @default.
- W4285331347 hasConcept C2780612046 @default.
- W4285331347 hasConcept C33923547 @default.
- W4285331347 hasConcept C38652104 @default.
- W4285331347 hasConcept C41008148 @default.
- W4285331347 hasConcept C45357846 @default.
- W4285331347 hasConcept C520049643 @default.
- W4285331347 hasConcept C71924100 @default.
- W4285331347 hasConcept C75606506 @default.
- W4285331347 hasConcept C80444323 @default.
- W4285331347 hasConcept C94375191 @default.
- W4285331347 hasConcept C94625758 @default.
- W4285331347 hasConcept C98045186 @default.
- W4285331347 hasConceptScore W4285331347C110251889 @default.
- W4285331347 hasConceptScore W4285331347C115903868 @default.
- W4285331347 hasConceptScore W4285331347C142724271 @default.
- W4285331347 hasConceptScore W4285331347C154945302 @default.
- W4285331347 hasConceptScore W4285331347C17744445 @default.
- W4285331347 hasConceptScore W4285331347C199360897 @default.
- W4285331347 hasConceptScore W4285331347C199539241 @default.
- W4285331347 hasConceptScore W4285331347C204787440 @default.
- W4285331347 hasConceptScore W4285331347C2776329536 @default.
- W4285331347 hasConceptScore W4285331347C2776436953 @default.
- W4285331347 hasConceptScore W4285331347C2780385302 @default.
- W4285331347 hasConceptScore W4285331347C2780612046 @default.
- W4285331347 hasConceptScore W4285331347C33923547 @default.
- W4285331347 hasConceptScore W4285331347C38652104 @default.
- W4285331347 hasConceptScore W4285331347C41008148 @default.
- W4285331347 hasConceptScore W4285331347C45357846 @default.
- W4285331347 hasConceptScore W4285331347C520049643 @default.
- W4285331347 hasConceptScore W4285331347C71924100 @default.
- W4285331347 hasConceptScore W4285331347C75606506 @default.
- W4285331347 hasConceptScore W4285331347C80444323 @default.
- W4285331347 hasConceptScore W4285331347C94375191 @default.
- W4285331347 hasConceptScore W4285331347C94625758 @default.
- W4285331347 hasConceptScore W4285331347C98045186 @default.
- W4285331347 hasLocation W42853313471 @default.
- W4285331347 hasOpenAccess W4285331347 @default.
- W4285331347 hasPrimaryLocation W42853313471 @default.
- W4285331347 hasRelatedWork W1550519739 @default.
- W4285331347 hasRelatedWork W174007698 @default.
- W4285331347 hasRelatedWork W194304868 @default.
- W4285331347 hasRelatedWork W1969179980 @default.
- W4285331347 hasRelatedWork W197558729 @default.
- W4285331347 hasRelatedWork W2132431510 @default.
- W4285331347 hasRelatedWork W2148239084 @default.
- W4285331347 hasRelatedWork W2393381991 @default.
- W4285331347 hasRelatedWork W2741430969 @default.
- W4285331347 hasRelatedWork W4280568695 @default.
- W4285331347 isParatext "false" @default.
- W4285331347 isRetracted "false" @default.
- W4285331347 workType "article" @default.