論文の概要: Proposal of an Electronic Auditing System Applied to the Brazilian Electronic Voting Machine
- arxiv url: http://arxiv.org/abs/2408.11195v1
- Date: Tue, 20 Aug 2024 21:03:06 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-22 21:06:50.012692
- Title: Proposal of an Electronic Auditing System Applied to the Brazilian Electronic Voting Machine
- Title（参考訳）: ブラジル電子投票機に適用可能な電子監査システムの提案
- Authors: Marcelo Ferreira Guimarães, Carlos Antônio Sell, Renato Parenti Turcato, Carlos Henrique Assuiti, Ricardo Custódio, Ricardo Antônio Pralon Santos,
- Abstract要約: SELAはオープンハードウェアとソフトウェアを使用するように設計された。
監査プロセスのセキュリティは、フィンガープリントアルゴリズムの適用によって保証される。
著者らは、2002年のブラジル大統領選挙に向けてSELAのパイロット実装を推奨している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: A new system, called SELA -- Auditing Electronic System, has been developed to be applied to the Brazilian Electronic Voting Machine. The SELA was designed to use open hardware and software, making it widely known by society. The security of the auditing process is guaranteed by the application of a Fingerprint Algorithm, a Hash Function. This system is robust and requires minimal modifications to the Electronic Voting Machine. In this paper, SELA is described, and its use during the election process is analyzed. A comparison between SELA and the use of thermal printers as a secondary voting record system is also presented. The authors recommend a pilot implementation of SELA for the 2002 Brazilian Elections.
- Abstract（参考訳）: SELA-Auditing Electronic Systemと呼ばれる新しいシステムはブラジル電子投票機械に適用するために開発された。
SELAはオープンハードウェアとソフトウェアを使用するように設計されており、社会で広く知られるようになった。
監査プロセスのセキュリティは、フィンガープリントアルゴリズム、ハッシュ関数の適用によって保証される。
このシステムは堅牢で、Electronic Voting Machineへの最小限の変更を必要とする。
本稿では、SELAについて述べ、選挙過程におけるSELAの利用について分析する。
また,SELAとサーマルプリンタを用いた二次投票記録システムの比較を行った。
著者らは、2002年のブラジル大統領選挙に向けてSELAのパイロット実装を推奨している。
関連論文リスト
- An Internet Voting System Fatally Flawed in Creative New Ways [0.010231119246773925]
最近公開された"MERGE"プロトコルは、プロトタイプのCAC-voteシステムで使用されるように設計されている。
投票用キオスクおよびプロトコルは、インターネット上で投票を送信し、投票者検証可能な紙投票をメールを介して送信する。
MERGEプロトコルでは、インターネット上で送信された投票は結果を集計し、勝者を決定するために使用されるが、監査と再集計は間に合う紙の投票を使用する。
論文 参考訳（メタデータ） (2024-11-18T18:10:05Z) - Revitalizing Electoral Trust: Enhancing Transparency and Efficiency through Automated Voter Counting with Machine Learning [0.0]
この研究は、OpenCV、CVZone、MOG2アルゴリズムといった最先端技術を利用する自動化システムが、選挙操作の有効性とオープン性を大幅に向上させる方法について、光を当てることを目的としている。
また、F1スコアなどの厳密な指標を用いて、自動システムの精度を手動の計数方法と体系的に比較する方法についても強調されている。
論文 参考訳（メタデータ） (2024-11-18T17:10:14Z) - ElectionSim: Massive Population Election Simulation Powered by Large Language Model Driven Agents [70.17229548653852]
我々は,大規模言語モデルに基づく革新的な選挙シミュレーションフレームワークであるElectronSimを紹介する。
ソーシャルメディアプラットフォームからサンプリングした100万レベルの投票者プールを提示し、正確な個人シミュレーションを支援する。
PPEは、米国大統領選挙シナリオ下での我々の枠組みの性能を評価するための、世論調査に基づく大統領選挙ベンチマークである。
論文 参考訳（メタデータ） (2024-10-28T05:25:50Z) - MERGE: Matching Electronic Results with Genuine Evidence for verifiable voting in person at remote locations [2.206168301581203]
本稿では,電子投票の速さと紙返却の信頼性を組み合わせたMERGEプロトコルを提案する。
このプロトコルにより、有権者は投票の電子的記録を迅速に提出し、同時に紙票を送信して検証を行うことができる。
電子記録は予備的な結果に使用することができるが、紙の投票は時間が経過した場合にはリスク限界監査(RLA)で使用され、選挙の完全性を保証する。
論文 参考訳（メタデータ） (2024-10-09T09:19:01Z) - DVQI: A Multi-task, Hardware-integrated Artificial Intelligence System
for Automated Visual Inspection in Electronics Manufacturing [57.33324493991657]
本稿では,DVQI(DarwinAI Visual Quality Inspection)システムを用いて,プリント基板組立欠陥の自動検査を行う。
DVQIシステムは、最小限のプログラミングと製造技術者のセットアップによるマルチタスク検査を可能にする。
また、DVQIシステムの性能と、トップエレクトロニクスメーカーへの影響に関するケーススタディも提示する。
論文 参考訳（メタデータ） (2023-12-14T18:56:54Z) - A Declaration of Software Independence [1.9269226901723748]
RivestとWackは投票システムの原則と要件として、ソフトウェア独立(SI)の原則を提案した。
基本的に、投票システムは、ソフトウェアへの依存が「曖昧な証拠」である場合、すなわち、そのソフトウェアを検査せずに、ソフトウェアに物質的変化が生じたことを検知する方法がある場合、SIである。
この記事では、SIのより正式な数学的定義を提供する。
論文 参考訳（メタデータ） (2023-10-26T20:21:25Z) - Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE [61.872917066847855]
即時投票(IRV)選挙の監査方法は、リスク制限や、各投票における投票の電子的記録であるキャスト投票記録(CVR)を必要とするものではない。
我々は,CVRが利用できない場合に,適応的に重み付けされたテストスーパーマーチンガルを用いてITV選挙を効率よく監査するRLA手法を開発した。
論文 参考訳（メタデータ） (2023-07-20T15:55:34Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳（メタデータ） (2023-01-05T18:18:46Z) - On-line signature verification using Tablet PC [61.81926091202142]
オンライン署名検証アルゴリズムはTablet PC環境で動作するように適応されている。
2つの異なる商用タブレットPCが評価される。
ランダムな偽造と熟練した偽造の両方を考慮した認証性能実験が報告されている。
論文 参考訳（メタデータ） (2022-10-20T09:59:28Z) - Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules [5.156484100374059]
電子投票システムの主な課題の1つは、計算結果がキャスト投票と一致していることを示すことである。
本稿では,秩序に基づく投票規則によって規制された選挙のためのセキュアな投票プロトコルを提案する。
我々のプロトコルは、必要な出力のみを発行するという意味で、完全な投票秘密を提供するが、キャスト投票に関する他の情報は明らかにしない。
論文 参考訳（メタデータ） (2022-05-21T12:17:21Z) - User-Driven Research of Medical Note Generation Software [49.85146209418244]
本稿では,医療用ノート生成システム開発における3ラウンドのユーザスタディについて述べる。
参加する臨床医の印象と,システムがどのようにそれらに価値あるものに適合すべきかの視点について論じる。
遠隔医療における3週間のシステムテストについて述べる。
論文 参考訳（メタデータ） (2022-05-05T10:18:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。